Comment by CyberDildonics

That's great for category theory.

If most people are confused why they're in a programming language, maybe it's time to admit that a language is influential but not made for general purpose productivity.