Bottom.Type
type 'a or_bottom = [
| `Value of 'a
| `Bottom
]
val (>>-) : 'a or_bottom -> ('a -> 'b or_bottom) -> 'b or_bottom
This monad propagates the `Bottom value if needed.
val (>>-:) : 'a or_bottom -> ('a -> 'b) -> 'b or_bottom
Use this monad if the following function returns a simple value.