birds monad with binding operator >>=