GHCers, I've just pushed the implementation of associated type defaults to master. This required an interface file format change, so you probably want to do a clean build after pulling the new patches. Cheers Max