path: root/testsuite/tests/ghci/scripts/T11721.script

:set -XGADTs -XPolyKinds -XTypeApplications
:set -fprint-explicit-foralls
import Data.Proxy
data X a where { MkX :: b -> Proxy a -> X a }
:type MkX
:type MkX @Int
:type MkX @Int @Maybe