Hello,

using the Maybe monad would be useful. 

But he already is? Anyway, `(x >>= f) == join (fmap f x)`

Best regards,
Marcin Mrotek