Haskell, etc., is to define a `bind` operator (the name `bind` is not
well chosen to resonate with linguists, but what can you do):
<pre>
let bind (x: int option) (f: int -> (int option)) =
Haskell, etc., is to define a `bind` operator (the name `bind` is not
well chosen to resonate with linguists, but what can you do):
<pre>
let bind (x: int option) (f: int -> (int option)) =