Option.Op
val (>>=) : 'a option -> ('a -> 'b option) -> 'b option
val (>>|) : 'a option -> ('a -> 'b) -> 'b option
val (>>+) : 'a option -> (unit -> 'a option) -> 'a option
val (+!) : 'a option -> 'a -> 'a
val (++) : 'a option -> 'a option -> 'a option