:: m Bool -> m Bool -> m Bool package:Agda

Lazy monadic conjunction.
Lazy monadic disjunction.