31 May
2022
31 May
'22
12:24 p.m.
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