Dear Committee, this is your secretary speaking (who is back from travels): Vlad proposed an amendment to #371 (Export ~ from Data.Type.Equality) to improve the migration plan https://github.com/ghc-proposals/ghc-proposals/pull/460 Following the tradition that amendments are shepherded by the same shepherd as the original proposal, this falls on Richard. 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/