This blog is chock full of these ideas, start here:

https://jrsinclair.com/articles/2019/algebraic-data-types-wh...