testsuite/tests/typecheck/should_compile/UnliftedNewtypesForall.hs


1
2
3
4
5
6
7
8
9
10

{-# Language RankNTypes #-}
{-# Language KindSignatures #-}
{-# Language PolyKinds #-}
{-# Language UnliftedNewtypes #-}

module UnliftedNewtypesForall where

import GHC.Exts

newtype Foo rep = MkFoo (forall (a :: TYPE rep). a)