Introduce Session examples for Yesod