Proposal: relax type of asProxyTypeOf

Tom Ellis tom-lists-haskell-cafe-2013 at
Sun Nov 6 17:37:48 UTC 2016

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

i.e. change

    asProxyTypeOf :: a -> Proxy a -> a


    asProxyTypeOf :: a -> proxy a -> a

I posted this issue on the Trac

but it was suggested I ask on the libraries list.


More information about the Libraries mailing list