
10 Nov
2022
10 Nov
'22
11:14 a.m.
Dear Committee, removing kind constraints has been proposed by Simon PJ and Richard https://github.com/ghc-proposals/ghc-proposals/pull/547 https://github.com/goldfirere/ghc-proposals/blob/no-kind-equalities/proposal... I suggest Arnaud shepherds this proposal. Please guide us to a conclusion as outlined in https://github.com/ghc-proposals/ghc-proposals#committee-process Cheers, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/