DeprecatedTypeFamily
data family SomeTypeFamily k :: * -> *
data family SomeOtherTypeFamily k :: * -> *