-
Iavor S. Diatchki authored
The situation is similar to `Typeable`---we can't set the evidence outside the solver because we have custom solving rules. This is safe because the computed super-class instances can't possibly depend on the new instance.
1fb4dd32