[ghc-steering-committee] Please review #371: Exporting ~ from Data.Type.Equality, Shepherd: Richard

[Joachim Breitner]

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/0000-non-magical-eq.md

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 at joachim-breitner.de
  http://www.joachim-breitner.de/