@@ -0,0 +1,21 @@
5+-- Eff is a monad too, so we can happily use it in a monad transformer.
7+using (xs : List EFFECT, m : Type -> Type)
8+ instance Functor (EffM m xs xs) where
9+ map f prog = do t <- prog
12+ instance Applicative (EffM m xs xs) where
14+ (<$>) f a = do f' <- f
18+ instance Monad (EffM m xs xs) where