Faking ADTs and GADTs in languages that shouldn't have them #1 Post by jle » Tue, Apr 01, 2025, 7:51 PM UTC Faking ADTs and GADTs in languages that shouldn't have themblog.jle.im