Don't generalize dependent type variables. Fixed checking typeclass instance content