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-instances/proposals/0000-signature-instances.md

Recommendation (in GitHub thread): 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), 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