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-
#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]: 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