Test and support for type constructor arguments