Support signatures at the kind level in Template Haskell