[GHC] #10585: Implement proper bidirectional type inference

[GHC]

#10585: Implement proper bidirectional type inference
-------------------------------------+-------------------------------------
        Reporter:  goldfire          |                   Owner:  goldfire
            Type:  bug               |                  Status:  new
        Priority:  normal            |               Milestone:
       Component:  Compiler (Type    |                 Version:  7.10.1
  checker)                           |                Keywords:
      Resolution:                    |            Architecture:
Operating System:  Unknown/Multiple  |  Unknown/Multiple
 Type of failure:  None/Unknown      |               Test Case:
      Blocked By:                    |                Blocking:
 Related Tickets:                    |  Differential Revisions:
-------------------------------------+-------------------------------------

Comment (by simonpj):

 On (3), you can look at the wiki page and attached PDF; and at branch
 `wip/impredicativity`.

 I confess that I'm not clear exactly what "this refactoring" is in
 concrete terms.  It's probably not massive, and it sounds promising to me,
 so if you'd like to sketch it out or just do it, that would be great.

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10585#comment:4>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler