blob: befe72854b22dc7676fac77463c827208e4bc40f (
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 RepPolyMagic where
import GHC.Exts
import GHC.Magic
foo :: forall a r (b :: TYPE r). a -> b -> b
foo = seq
bar :: forall r (a :: TYPE r). (a -> a) -> (a -> a)
bar = oneShot
|
