Make2.Collection
Lifts collection interface into the monad.
This module provides two functors that take a basic collection interface and provide the Monad.Collection.S2 interface.
See Monad.Collection for more information.
module type S = Collection.S2 with type ('a, 'e) m := ('a, 'e) T2(M).t
Eager(C)
derives Monad.Collection.S2 for container C
Delay(C)
derives Monad.Collection.S2 for container C