I would love to talk about types, and I'm well aware that my interpretations are very unusual, and I'm also prone to constantly revising my typing, so you might also change my mind
Where do you want to start?
