Reminds me of all articles attempting to explain how simple monads are