Ben Gamari authored Feb 26, 2017 and Ben Gamari committed Feb 26, 2017

While working through the FunCo patch I encountered some lint issues
which suggested that `Constraint` wasn't being considered equal to `TYPE
'LiftedRep`.  Consequently I introduced this axiom and associated messy
ball of logic to explicitly coerce `Constraint`.

However, as @goldfire points out on D3208 this really shouldn't be
necessary.  Indeed, I tried ripping out the axiom and things appear to
just work. I suspect the issue motivating the axiom was a bug elsewhere
in the FunCo branch that I fixed during development.

Test Plan: Validate

Reviewers: simonpj, goldfire, austin

Reviewed By: goldfire

Subscribers: thomie, goldfire

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