Dear Committee, this is your secretary speaking: Unsatisfiable has been proposed by Adam Gundry https://github.com/ghc-proposals/ghc-proposals/pull/433 https://github.com/adamgundry/ghc-proposals/blob/unsatisfiable/proposals/000... I propose Tom Harding 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/