Test coercions for generic type constructors