Allow any RHS type as type constructor argument