testsuite/tests/typecheck/should_compile/T12911.hs


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 r (a :: TYPE r). (a -> a) -> X