:: m Bool -> m Bool -> m Bool package:ghc

Monadic version of or