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