Chris Martin on Nostr: And then like "don't use GADTs" becomes a weird opinion because you're more precisely ...

And then like "don't use GADTs" becomes a weird opinion because you're more precisely saying that a constructor should never have a constraint that involves the type's type parameters, and I think you'd be hard-pressed to explain why not