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-instanc... 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-6233460... 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