Reading through "The Joy of Abstraction" and it's neat so far. I feel like I finally get what a monad is and why it relates to programming after like 15 years of meming about it.