testsuite/tests/rep-poly/T17360.hs


1
2
3
4
5
6
7
8
9
10
11

{-# LANGUAGE UnliftedNewtypes #-}
{-# LANGUAGE ExplicitForAll #-}
{-# LANGUAGE PolyKinds #-}
module T17360 where

import GHC.Exts

newtype Id (a :: TYPE r) = Id a

foo :: forall r (a :: TYPE r). Id a -> Id a
foo x = x