blob: 765e02f34b3d075160f15e6f060965d1d76b2f39 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
{-# LANGUAGE RebindableSyntax, PolyKinds, ExplicitForAll #-}
module T12973 where
import qualified Prelude as P
import GHC.Exts
class Num (a :: TYPE r) where
(+) :: a -> a -> a
fromInteger :: P.Integer -> a
foo :: forall r (a :: TYPE r). Num a => a
foo = 3 + 4
|