guard package:cond -is:exact

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