guard -package:simple package:cond

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