Behaviours: do_applicative, do_functor.
fn(A, B, C) = fun((A, B) -> C)
fn(A, B) = fun((A) -> B)
fmap(F::fn(B, C), Fun::fn(A, B)) -> fn(A, C)
liftA2(F1::fn(A, B, C), F2::fn(D, A), F3::fn(E, B)) -> fn(D, fn(E, C))
pure(A) -> fn(term(), A)
Generated by EDoc