I'm not arguing against types either. I'm specifically arguing against their fetishization and the way that some languages (and programmers) view everything as

I'm not arguing against types either. I'm specifically arguing against their fetishization and the way that some languages (and programmers) view everything as mathematical type transformation. I guess i need to write my comments a bit more precisely.