Satori is pretty weird

I achieved satori, and it's kind of fucked up. Everything is a programming problem. Look at a piece of toast and you'll see an endomorphism on the domain of bread. Look at a chair and you'll see a recursive descent parser. Look at a dog taking a shit and you'll see a novel set of inductive laws for reasoning about infix notation.

I mean, I did swimmingly at the program I was working on, but it would be nice to brush my teeth without having to check my floss for null.

ITT math-ignorant fuckwits who don't realize that it's not Haskell-idiots who are spewing math-buzzwords (they are just as ignorant of math as you, after all), but mathematicians. Here's a taste of what real abstruse math-nonsense looks like (without any mention of Haskell):
http://math.andrej.com/2014/01/13/univalent-foundations-subsume-classical-mathematics/#comments

And Haskell has nothing whatsoever to do with math, it's just a glorified C with preprocessor:
http://conal.net/blog/posts/the-c-language-is-purely-functional