Trying to test all the basic types that coerce covers, and a couple more type parameter and nested cases.