Standalone list predicate
underlying value type
a list of Maybe
true in case every list element is Nothing
Standalone list predicate