[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:
> 2. Contradiction in #281 is resolved in favor of rejecting any uses
> of terms in types as ill-typed, saving this feature for a future
> proposal.

clearly a safe and conversative path forward; in support.

Cheers,
Joachim

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