refactored type-signatures of all unpure functions, so that all functions work within Yesod's Handler-Monad