This could happen previously when computing the existential type for a given archetype. In cases where an archetype is only constrained to a class, return the class type directly rather than wrapping it in an existential type.
