Changes to Typeable

Simon Peyton-Jones simonpj at microsoft.com
Fri Feb 10 18:19:24 CET 2012


| Where is Proxy data type defined?

In the section "The new Typeable class" of http://hackage.haskell.org/trac/ghc/wiki/GhcKinds/PolyTypeable

| Which instances should it have?  

Well, Typeable, perhaps!  But that is no so relevant here.

S




More information about the Glasgow-haskell-users mailing list