unless package:BNFC

Generalization of unless.
Invoke continuation for non-empty list.
Invoke continuation for non-empty list.
unless for the monoid of endofunctions 'a -> a'.