Module `Functions.Foldable`

module Semigroup : functor (S : Interface.SEMIGROUP) -> sig ... end

module Monoid : functor (M : Interface.MONOID) -> sig ... end

module Applicative : functor (A : Interface.APPLICATIVE) -> sig ... end

module Plus : functor (P : Interface.PLUS) -> sig ... end

module Monad : functor (M : Interface.MONAD) -> sig ... end