<p dir="ltr">I've started a wiki page, <a href="https://ghc.haskell.org/trac/ghc/wiki/OptimizeCountingGADTs">https://ghc.haskell.org/trac/ghc/wiki/OptimizeCountingGADTs</a> , to consider optimizing GADTs that look like natural numbers but that possibly have "heavy zeros". Please take a look.</p>