Generalizing coercions to infer typeclass arguments

This reminds me of [1103.3320] Nonuniform Coercions via Unification Hints