Module Bastet__Functions.Infix
module Apply : functor (A : Bastet.Interface.APPLY) -> sig ... endmodule Monad : functor (M : Bastet.Interface.MONAD) -> sig ... endmodule Void : functor (F : Bastet.Interface.FUNCTOR) -> sig ... end