conal authored Apr 10, 2016 and Ben Gamari committed Apr 10, 2016

Needed for constructing correct constraint-satisfying code
(particularly type class instances) in a Core-to-Core transformation.

Reviewers: simonpj, austin, bgamari

Reviewed By: austin, bgamari

Subscribers: thomie

Differential Revision: https://phabricator.haskell.org/D2088

GHC Trac Issues: #11804