Document GADTs #153
Description
This one is ridiculously hard to describe in an intuitive way, so this will definitely go into an advanced section.
Not sure what practical examples would fit for e.g. UI development... IMO it's a confusing type construct and oftentimes ends up in confusing type errors, so we'd just document it for completeness reasons.