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