:: Monoid m => Bool -> m -> m package:BNFC

Generalization of when.
Generalization of unless.