Re: [Haskell-cafe] Re: MPTCs and rigid variables

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