Implement Explicit Foralls Proposal
Implement Richard Eisenberg's Explicit Foralls proposal. https://github.com/ghc-proposals/ghc-proposals/pull/55
For details see the proposal: https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0007-instance-foralls.rst