This post has been moved to blog.kabir.sh/inventing-monads.