Re: [ghc-steering-committee] Proposal #281: Visible "forall" in terms; rec: accept

On 2 Jun 2021, at 13:02, Simon Peyton Jones via ghc-steering-committee wrote:

You might wonder if we could do some magic for built-in syntax like [T]. But it would be terribly strange to treat (f [T]) completely differently from (f [T,T]), say.

Indeed it would be strange, although that is a weaker argument than adherence to LSP, as we already do the strange thing with DataKinds (e.g. `f :: Proxy [Int] -> …` is treated differently from `f :: Proxy [Int,Int] -> …`). In fact, -XNoListTupleTypeSyntax is in the proposal exactly to address this. - Vlad