Re: [GHC] #9063: Default associated type instances are too general