summaryrefslogtreecommitdiff
path: root/tests/examples/ghc88/ClassParens.hs
blob: 4292fcc6fcdd47e6ac4ea7cc39d00ff962566b25 (plain)
1
2
3
4
5
6
7
8
9
10
11
module ClassParens where

class LiftingMonad  (trans :: MTrans) where
  proof :: Monad m :- Monad (trans m)

class LiftingMonad2  ((trans :: MTrans)) where
  proof :: Monad m :- Monad (trans m)

data Nat (t :: NatKind) where
    ZeroNat :: Nat Zero
    SuccNat :: Nat t -> Nat (Succ t)