testsuite/tests/ghc-api/annotations/Test16212.hs


1
2
3
4
5
6
7
8
9
10
11
12
13

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)

data Foo (a) b = Foo { av :: a, bv :: b }