I think flexibility about the proxy type has become the norm, and we should probably follow that guideline. However, it could theoretically break code.
asProxyTypeOf x (pure "I'm a string")
is currently accepted but would be rejected with the proposed change (since the proxy type isn't fixed, GHC doesn't know that it's Applicative).
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
_______________________________________________
Libraries mailing list
Libraries@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries