[GHC] #14266: AllowAmbiguousTypes doesn't play well with default class methods

[GHC]

#14266: AllowAmbiguousTypes doesn't play well with default class methods
-------------------------------------+-------------------------------------
        Reporter:  chris-martin      |                Owner:  (none)
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  8.0.2
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by goldfire):

 As the author of `TypeApplications`, I have greatly enjoyed its quick
 adoption in a variety of places. It's a stable extension based on
 published theory. I, personally, do not consider it a "workaround" at all
 and think it's a fine extension to build on.

 It ''is'' a little sketchy around the corners, however. Ryan has been
 working on making it work better with GADTs, and we still need support for
 types in patterns. That said, any place where `TypeApplications` works
 today will continue to work tomorrow, and I think you can use it without
 fear.

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