: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