Wobble.  Fine tuning tcSimplifyAndCheck a bit further (wrt implicit params).
The key is that a method that doesn't constrain a local tyvar, but does has
implicit params, needs to be reduced further.