[GHC] #11349: [TypeApplications] Create Proxy-free alternatives of functions in base

[GHC]

#11349: [TypeApplications] Create Proxy-free alternatives of functions in base
-------------------------------------+-------------------------------------
        Reporter:  Iceland_jack      |                Owner:
            Type:  feature request   |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Core Libraries    |              Version:  7.10.3
      Resolution:                    |             Keywords:
                                     |  TypeApplications, Typeable
Operating System:  Other             |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by RyanGlScott):

 Replying to [comment:7 goldfire]:
 > Might I suggest that we experiment with this outside of `base` for a
 bit? `TypeApplications` is awfully new. I honestly don't think it will,
 but it might well change. Given the very loud grumbling we've all heard
 about changes to `base`, I think it would be prudent to make a `proxyfree-
 base` that users can opt into. If all goes well, I think merging into
 `base` somehow is great. But maybe for 8.2.

 Coincidentally, I just started a
 [http://hackage.haskell.org/package/proxied-0.1.1/docs/Data-Proxied.html
 proxied] library to retrofit functions like `sizeOf` to take a `Proxy` as
 an argument. I'd be eager to add a `Data.Proxyless` module to `proxied`
 that gives the corresponding `Proxy`-free equivalent functions that
 leverage `TypeApplications`. (The name `proxied` then becomes kind of a
 misnomer, but at the end of the day it'd accomplish what this ticket sets
 out to do.)

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