Module Monads.Reader

val return : 'a -> 'p -> 'a
val bind : ('p -> 'a) -> ('a -> 'p -> 'b) -> 'p -> 'b