> und n = AppE (VarE (mkName "show")) (SigE (VarE (mkName > "undefined")) (ForallT [n] [] (VarT n))) -- undefined :: typePara
using ForallT [] [] (... works fine. So this seems to be a th [| |] parser issue? I'll move this to the ghc mailinglist. (Thanks to Heffalump on #haskell) Marc Weber _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
