3 ms·Assuming "correct behavior" mean no bottom, and follow monad law, yes.by MarisaKirisame 9y agoAssuming "correct behavior" mean no bottom, and follow monad law, yes.