1      let Functor = ./../Functor/Type
2  
3  in  let Monad = ./Type
4  
5  in  λ(f : Type → Type) → λ(t : Monad f) → t.{ map } : Functor f