Monadic bind with optional variable + end of the 'monadise' function