Apply (beluga.Support.Apply)

module type APPLY = sig ... end

Module type for abstract datatypes with applicable actions and sequential applications.

module Make (M : Monad.MONAD) : APPLY with type 'a t = 'a M.t

Functor building an implementation of APPLY over a monad.