1      let Applicative = ./../Applicative/Type
2  
3  in    λ(r : Type)
4      → λ(m : Type → Type)
5      → λ(applicative : Applicative m)
6      → λ(env : r)
7      → applicative.pure r env