first Yesod (Haskell) implementation