Standalone list predicate
underlying value type
underlying error type
a list of Either
true in case every list element is Left
Standalone list predicate