Standalone list predicate
underlying value type
a list of Maybe
true in case at least one list element is Just
Standalone list predicate