Isaac, >> Does anyone know if it is possible to specify a default definition >> for an >> associated type synonym? According to http://hackage.haskell.org/trac/ghc/wiki/TypeFunctionsStatus defaults for associated types is still a TODO. Cheers, Stefan