[GHC] #10886: Remove the magic from `Any`

[GHC]

#10886: Remove the magic from `Any`
-------------------------------------+-------------------------------------
        Reporter:  goldfire          |                Owner:  goldfire
            Type:  task              |               Status:  patch
        Priority:  normal            |            Milestone:  8.2.1
       Component:  Compiler          |              Version:  7.10.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):  Phab:D2049
       Wiki Page:                    |
-------------------------------------+-------------------------------------
Changes (by bgamari):

 * status:  new => patch
 * differential:   => Phab:D2049


@@ -8,1 +8,1 @@
- {{{
+ {{{#!hs

New description:

 The `Any` type used to be very highly magical: a poly-kinded type in a
 mono-kinded world. Then it became only normally magical: a datatype with a
 return kind of `k` (instead of `*`). Then it became only a bit magical: a
 closed type family with no equations. Now that we have non-magical empty
 closed type families, I believe that we can remove the last bit of magic
 and just define

 {{{#!hs
 type family Any :: k where { }
 }}}

 somewhere (`GHC.Types`?), wire it in (like, e.g., `Bool`), and be done
 with it.

 Objections?

--

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