Proposal: relax type of asProxyTypeOf

[Ryan Scott]

Oh, I didn't realize that the type had already been generalized in tagged!
[1]

I'm certainly +1 on this proposal.

Ryan S.
-----
[1]
https://github.com/ekmett/tagged/blob/93cd87830733ed641409a2a14776973e8be600cc/old/Data/Proxy.hs#L264
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20161107/21f17c40/attachment.html>