blob: 6c2baad7e27f4cb35a57462bbdd5182b47934781 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
module Test16212 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)
|