Contributing to Haskell GHC (2023) [pdf]

How to derive Generic for (some) GADTs using QuantifiedConstraints