2026-04-02 GADTs in Haskell