As discussed, there is no reason for the concrete and wildcard semantics to use a custom result type with special ordering.