Algebraic data types for fun and profit by Clément Delafargue