Re: [Haskell-cafe] parametrized data types and Template Haskell

Thanks for thinking with me Adam. It turned out the error message "Illegal type constructor or class name" was spot on, because I wrote:

tvname :: TyVarBndr -> Type tvname (PlainTV name ) = ConT name tvname (KindedTV name _) = ConT name

But should have written:

tvname :: TyVarBndr -> Type tvname (PlainTV name ) = VarT name tvname (KindedTV name _) = VarT name

Happy new year to all of you! Maarten