Exploring the practical side of monads.