[GHC] #10972: Add a :binfo (beginner info) GHCi command

[GHC]

#10972: Add a :binfo (beginner info) GHCi command
-------------------------------------+-------------------------------------
           Reporter:  kanetw         |             Owner:
               Type:  feature        |            Status:  new
  request                            |
           Priority:  normal         |         Milestone:  8.0.1
          Component:  Compiler       |           Version:  7.10.2
           Keywords:                 |  Operating System:  Unknown/Multiple
       Architecture:                 |   Type of failure:  None/Unknown
  Unknown/Multiple                   |
          Test Case:                 |        Blocked By:
           Blocking:                 |   Related Tickets:  #10963
Differential Rev(s):                 |         Wiki Page:
-------------------------------------+-------------------------------------
 From goldfire:
 > Add a new command to GHCi, :binfo (for "beginner info") (please suggest
 a better name) that is like :info but presents different information. It
 suppresses in-scope instances, but attempts to specialize a function's
 type and presents specializations, using heuristics. So when we say :binfo
 find, we'll see Foldable t => (a -> Bool) -> t a -> Maybe a but also (a ->
 Bool) -> [a] -> Maybe a.

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