Template Haskell: kind annotations