There's also this take on differentiating datatypes: 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.)