guard package:cond

Generalization of guard
A variant of guard with a monadic predicate.