added a monad for sequence comprehension that is a dress rehearsal for strong bindings in Bewl