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