Got the interface code between my monad and yesod nearly finished, see the TODO