testsuite/tests/th/T21050.hs


1
2
3
4
5
6
7
8
9
10
11

{-# LANGUAGE TemplateHaskell, ImpredicativeTypes #-}
module T21050 where

import Language.Haskell.TH.Syntax

data T = MkT (forall a. a)

f x = [|| MkT $$(x) ||]

g :: Code Q (forall a. a) -> Code Q T
g x = [|| MkT $$(x) ||]