Making my life easier with two GADTs - January 21, 2025

I/O and purity - January 1, 2024