Module `Functions.Infix`

module Apply : functor (A : Interface.APPLY) -> sig ... end

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

module Void : functor (F : Interface.FUNCTOR) -> sig ... end