Introduce widgets and Yesod type class tutorial examples