Functor, Applicative, and Monad

I am the author of this post, please ask me any questions.

Reddit discussion: https://www.reddit.com/r/programming/comments/cy35zz/functor...

My HN submission (which didn't receive any traction): https://news.ycombinator.com/item?id=20850144