Add some overview notes on the GADT implementation#14996

dwijnand merged 1 commit intoscala:mainscala/scala3:mainfrom

dwijnand:gadts-notesdwijnand/scala3:gadts-notesCopy head branch name to clipboard