> 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