Hi committee, I am the shepherd for #320, about a tweak to the handling of associated-type defaults in hs-boot and signature files. I recommend acceptance. Proposal: https://github.com/obsidiansystems/ghc-proposals/blob/signature-type-instanc... <https://github.com/obsidiansystems/ghc-proposals/blob/signature-type-instances/proposals/0000-signature-instances.md> Recommendation (in GitHub thread): https://github.com/ghc-proposals/ghc-proposals/pull/320#issuecomment-6233460... <https://github.com/ghc-proposals/ghc-proposals/pull/320#issuecomment-623346043> As stated in our published process (https://github.com/ghc-proposals/ghc-proposals#committee-process <https://github.com/ghc-proposals/ghc-proposals#committee-process>), technical conversation should go on the GitHub thread, while evaluative comments can go on this thread in the mailing list. I expect this will be boring and uncontroversial to many of us. I will accept this in one week unless debate has sprung up. Thanks! Richard