Mehari_eio.Direct
type 'a t = 'a
val return : 'a -> 'b
val bind : 'a -> ('b -> 'c) -> 'd
val map : ('a -> 'b) -> 'c -> 'd