PolyKind issue in GHC 7.6.1rc1: How to make a kind a functional dependency?

[Richard Eisenberg]

On Sep 5, 2012, at 2:21 PM, Edward Kmett wrote:
> 
> I noticed that the polykindedness of Any is abused in the GHC.TypeLits to make fundeps determining a kind, but where else is it exploited?

I similarly abused Any to write the singletons library, but it's really a hack to work with kind classes and functions from kinds to types. If these features were directly accessible, the Any hack would no longer be needed.

Has anyone out there used Any for another purpose?

Richard
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/glasgow-haskell-users/attachments/20120905/bd0f9ce2/attachment.htm>