Yesod-based algebraic content management system