Module Monads.Identity

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