Satisfy type class dictionaries when LHS of a function application is constrained
Merge pull request #521 from purescript/508

Satisfy type class dictionaries when LHS of a function application is constrained