You've been using Monads by Brian Lonsdorf