blob: 23fe545bf58b29f0a54fb2a90c737355d0eba4ce (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE MagicHash #-}
module RepPolyRightSection where
import GHC.Exts
g :: forall r (a :: TYPE r) b. a -> b -> a
g = undefined
test2 :: forall r (a :: TYPE r). a -> a
test2 = ( `g` undefined )
|
