ch 12: Understanding relationship between Applications and Monads