Bug1103
data family Foo1 :: Type -> Type #
Defined in Bug1103
data family Foo2 :: k -> Type #
data family Foo3 :: k #