There's also this take on differentiating datatypes: https://codewords.recurse.com/issues/three/algebra-and-calculus-of-algebraic-data-types https://codewords.r

There's also this take on differentiating datatypes: https://codewords.recurse.com/issues/three/algebra-and-calculus-of-algebraic-data-types https://codewords.recurse.com/issues/three/algebra-and-calcu... Reading this makes a lot of the operations in colah's article feel more intuitive. (To me, at least. I'm no expert here.)