data T a = MkT a
:type MkT
:set -XLinearTypes
:type MkT
:set -XGADTs
data T a where MkT :: a %1 -> a -> T a
:info T
data T a b m n r = MkT a b m n r
:set -fprint-explicit-foralls
-- check that user variables are not renamed (see dataConMulVars)
:type MkT