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
_______________________________________________
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
