This is a phenomenal explanation! I especially like the context around where these concepts come from. Another great treatment of this is the chapter on monads

This is a phenomenal explanation! I especially like the context around where these concepts come from. Another great treatment of this is the chapter on monads in Functional Programming in Scala.