Satisfy type class dictionaries when LHS of a function application is constrained
Merge branch '508' into inlining
Use a fresh name.