{-|
Apply a binary function to two applicative values.
-}
let Applicative = ./Type.dhall

in  \(F : Type -> Type) ->
    \(applicative : Applicative F) ->
    \(A : Type) ->
    \(B : Type) ->
    \(C : Type) ->
    \(f : A -> B -> C) ->
    \(fa : F A) ->
    \(fb : F B) ->
      applicative.map2 A B C f fa fb