A jargon-free, practical explanation of monads as a design pattern.