Fix #390. Disallow unification of unknowns during type class instance resolution.