Re: [ghc-steering-committee] Proposal #402 (changes to GADT syntax); rec: accept

On Mar 19, 2021, at 12:18 PM, Iavor Diatchki wrote:

type T = Int -> S data S where C :: T

It's true that this doesn't work today -- and that there are no plans for something like that working. If we were clearer that constructor signatures weren't types, then this case would be easier to understand. Perhaps this is why I'm in favor of dropping the parentheses; allowing them is actually an exception to the general rule here. (The general rule: the thing after the :: is a `->`-separated list of arguments, terminated by the return type.) Richard