function to be defined (in this case, the name of the function
is `>>=`, pronounced "bind") is an infix operator, so we write
`u >>= f` or equivalently `( >>= ) u f` instead of `>>= u
function to be defined (in this case, the name of the function
is `>>=`, pronounced "bind") is an infix operator, so we write
`u >>= f` or equivalently `( >>= ) u f` instead of `>>= u