1 2 3 4
T13642.hs:8:9: error: Exotic form of kind not (yet) handled by Template Haskell forall a. a -> Type