Introduce Monads examples for Yesod