Dear Committee, this is your secretary speaking: Ignore class defaults for associated type instances in instances that occur in backpack and hs-boot files (a title too long for the email subject line) has been proposed by Cale https://github.com/ghc-proposals/ghc-proposals/pull/320 https://github.com/obsidiansystems/ghc-proposals/blob/signature-type-instanc... I propose Richard Eisenberg as the shepherd, as he looked at it before. Please guide us to a conclusion as outlined in https://github.com/ghc-proposals/ghc-proposals#committee-process Thanks, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/