1      let Applicative = ./Type
 2  
 3  in    λ(f : Type → Type)
 4      → λ(applicative : Applicative f)
 5      → { ap =
 6            applicative.ap
 7        , leftApConst =
 8            ./leftApConst f applicative
 9        , liftA2 =
10            ./liftA2 f applicative
11        , map =
12            applicative.map
13        , pure =
14            applicative.pure
15        , rightApConst =
16            ./rightApConst f applicative
17        }