Just to clarify: this is proposed by Csongor Kiss, not Richard Eisenberg. :) Happy to shepherd. Expect a recommendation soon. Richard

On Nov 20, 2020, at 9:54 AM, Joachim Breitner wrote:

Dear Committee,

this is your secretary speaking:

Unsaturated type families has been proposed by Richard Eisenberg https://github.com/ghc-proposals/ghc-proposals/pull/242 https://github.com/kcsongor/ghc-proposals/blob/unsaturated-type-families/pro...

I’ll propose Richard Eisenberg as the shepherd, as he has looked at i t in detail already.

Please guide us to a conclusion as outlined in https://github.com/ghc-proposals/ghc-proposals#committee-process

Thanks, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/

_______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee