Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.
@Asad Saeeduddin nope, it's just the steering committee thinks hard
Not that I know of though I am curious as well. It seems to be informal at best. I've heard people say things like, GADTs are not formally specified. And I've seen how a few overlapping extensions don't seem to play well together.