1 2 3 4 5 6 7
T14817.hs:(7,3)-(8,34): Splicing declarations [d| data family Foo :: Type data instance Foo :: Type |] ======> data family Foo :: Type data instance Foo :: Type