blob: d2430892091c6482a9e8b897e7b586e761adc915 (
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 RepPolyLeftSection2 where
import GHC.Exts
f :: forall r (a :: TYPE r). a -> a -> a
f = undefined
test1 :: forall r (a :: TYPE r). a -> a
test1 = ( undefined `f` )
|
