Dear Committe, Exporting ~ from Data.Type.Equality has been proposed by Vladislav Zavialov https://github.com/ghc-proposals/ghc-proposals/pull/371 https://github.com/int-index/ghc-proposals/blob/non-magical-eq/proposals/000... This looks rather small, and Richard has already vetted and refined this, in particular about the migration story, so I think he could just as well shepherd this through. 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/