[Haskell-cafe] Re: MPTCs and rigid variables

[Claus Reinke]

> ATs are not in any of the official GHC releases... Are they in the CVS head?

darcs, these days;-) but yes, from 6.7. see:

announcement
http://article.gmane.org/gmane.comp.lang.haskell.general/14447

main? info page
http://haskell.org/haskellwiki/GHC/Indexed_types

ghc status, with new features
http://hackage.haskell.org/trac/ghc/wiki/Status/October06

master plan
http://hackage.haskell.org/trac/ghc/wiki/TypeFunctions

claus