1 2 3 4
T10828a.hs:9:2: error: Kind signatures are only allowed on GADTs When splicing a TH declaration: data T a :: * = MkT a a