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