1      let Transformer = ./../Transformer/Type
 2  
 3  in  let EitherT = ./Type
 4  
 5  in  let Either = ./../Either/Type
 6  
 7  in  let Monad = ./../Monad/Type
 8  
 9  in    λ(a : Type)
10      →   { lift =
11                λ(m : Type → Type)
12              → λ(monad : Monad m)
13              → λ(b : Type)
14              → λ(ma : m b)
15              → monad.map b (Either a b) (λ(r : b) → < Right = r | Left : a >) ma
16          }
17        : Transformer (EitherT a)