Composition.Make_with_product
module Interior : Monad.S_with_product
module Exterior : Monad.S_with_product
module _ :
Axiom
with type 'a interior = 'a Interior.t
and type 'a exterior = 'a Exterior.t
type 'a t = 'a Interior.t Exterior.t
val return : 'a -> 'a t
module Bool : sig ... end
module Option : sig ... end
module List : sig ... end
module Operators : sig ... end