This feels like me with category theory and types. Once I learned an ML (OCaml) I understood the power of types and higher level abstractions. I think people also confuse mathematics with arithmetic. I dislike the latter (much better automated than manually done) and love the former.