Proposal: relax type of asProxyTypeOf

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