Proposal: relax type of asProxyTypeOf

[Tom Ellis]

Did anything ever come of this proposal to relax the type of asProxyType of?

    https://mail.haskell.org/pipermail/libraries/2014-December/024462.html

i.e. change

    asProxyTypeOf :: a -> Proxy a -> a

to

    asProxyTypeOf :: a -> proxy a -> a

I posted this issue on the Trac

    https://ghc.haskell.org/trac/ghc/ticket/12805

but it was suggested I ask on the libraries list.

Tom