[ghc-steering-committee] Please review #607: Amendments clarify treatment of term variables in types, Shepherd: Vlad

[Joachim Breitner]

Dear Committee,

Jakob Brünker spotted some inconsistencies in 281 (visible forall) and
#378 (Design of DH):

https://github.com/ghc-proposals/ghc-proposals/pull/607

I’d like to assign this to Vlad.

Please guide us to a conclusion as outlined in 
https://github.com/ghc-proposals/ghc-proposals#committee-process


Cheers,
Joachim




-- 
Joachim Breitner
  mail at joachim-breitner.de
  http://www.joachim-breitner.de/