it trades off efficiency of evaluation (namely that it doesn't use wildcards or intersections) for the limitations you're seeing here