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