GADTSyntax
https://typeclasses.com/ghc/gadt-syntax