| ATs are not in any of the official GHC releases... Are they in the CVS head?
The HEAD has fully-implemented associated *data types*, but not associated *type synonyms*. We're working on the latter, quite hard. As Claus says, the place to look is here
http://hackage.haskell.org/trac/ghc/wiki/TypeFunctions
Simon