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