generated at
2/18/2025, 4:15:12 PM
GADTSyntax
https://typeclasses.com/ghc/gadt-syntax