And you can use this algebra to refactor data types! It's a surprisingly deep topic. I wrote a blog post about it: https://justinpombrio.net/2021/03/11/algebra

And you can use this algebra to refactor data types! It's a surprisingly deep topic. I wrote a blog post about it: https://justinpombrio.net/2021/03/11/algebra-and-data-types.html https://justinpombrio.net/2021/03/11/algebra-and-data-types.... And someone else wrote a related blog post: https://codewords.recurse.com/issues/three/algebra-and-calculus-of-algebraic-data-types https://codewords.recurse.com/issues/three/algebra-and-calcu...