Trait-Constrained Enums in Rust 98 points kcsongor 2025-11-08 10:54:15 13 comments View on Reddit ↗ External link ↗ Simulating Haskell-style GADTs with phantom witnesses and specialisation.