[GHC] #11994: ghci not applying defaulting when showing type

[GHC]

#11994: ghci not applying defaulting when showing type
-------------------------------------+-------------------------------------
        Reporter:  j.waldmann        |                Owner:
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  GHCi              |              Version:  7.10.3
      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):

 I don't think `-XMonoLocalBinds` is at issue here. That extension is
 implied by `-XTypeFamilies` and `-XGADTs` but is not on by default. What
 is at issue is the Dreaded Monomorphism Restriction, which is disabled by
 default in GHCi.

 If you want defaulting in GHCi, you may wish to see #10963.

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