1 2 3 4 5 6 7 8 9
{-# Language KindSignatures #-} {-# Language PolyKinds #-} {-# Language RankNTypes #-} module T15883 where import GHC.Exts newtype Foo rep = MkFoo (forall (a :: TYPE rep). a)