Ident2.T
type ('a, 'e) t = 'a
val map : [> `Define_using_bind ]
val return : 'a -> 'b
val bind : 'a -> f:( 'b -> 'c ) -> 'd