Re: [Haskell-cafe] Re: GHC 6.7 and Associated Types

Simon Peyton-Jones wrote:

Associated *data* types should work in the HEAD (=6.7). But associated *type synonyms* do not, I'm afraid. We are actively working on it, but it'll be a couple of months at least I guess.

You can see the state of play, and description of where we are up to here http://hackage.haskell.org/trac/ghc/wiki/TypeFunctions

Ah, it's good to know that it wasn't just me being stupid :-). Thank you, Maxime