Hi all, I draw everyone's attention to the Deep Subsumption Proposal. The proposal invites the community to comment on a technical solution to the issues introduced by the simplified subsumption proposal. https://github.com/ghc-proposals/ghc-proposals/pull/511 Cheers, Matt