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

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