My professor told me that learning category theory would make me a better person but not a better programmer