1 2 3 4 5 6 7 8 9
{-# LANGUAGE ExplicitForAll, PolyKinds, GADTSyntax, ExistentialQuantification #-} module T12911 where import GHC.Exts data X where MkX :: forall (a :: TYPE r). (a -> a) -> X