Dear Committee, this is your secretary speaking: Simplify subsumption has been proposed by Simon PJ https://github.com/ghc-proposals/ghc-proposals/pull/287 https://github.com/ghc-proposals/ghc-proposals/blob/wip/spj-deep-skol/propos... I propose Arnaud Spiwak as the shepherd. 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/