[ghc-steering-committee] #607: Amend #281 (visible forall) and #378 (Design of DH) to clarify treatment of term variables in types (rec: accept)

[Joachim Breitner]

Hi,

Am Dienstag, dem 29.08.2023 um 08:48 +0200 schrieb Vladislav:
> I recommend to accept. Please share your thoughts either here or
> directly on GitHub.

all in support, merging.

Cheers,
Joachim

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