blob: b92d911ecf17de51d30ce59e53c03cce6bbe425e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
{-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE StandaloneKindSignatures #-}
{-# LANGUAGE UnliftedNewtypes #-}
module RepPolyNewtypePat2 where
import Data.Kind
import GHC.Exts
type X :: TYPE rep -> TYPE rep
newtype X a = MkX a
bar :: forall (a :: Type). X a -> a
bar (MkX bndr_a) = bndr_a
|