Predicate nullable checks in Match: why they don’t narrow - Effect Community