DeprecatedTypeFamily

data family SomeTypeFamily k :: * -> *

data family SomeOtherTypeFamily k :: * -> *