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