You are searching for Yesod - http://www.yesodweb.com http://www.yesodweb.com - which has some other fancy features like making sure that you can never render a

You are searching for Yesod - http://www.yesodweb.com http://www.yesodweb.com - which has some other fancy features like making sure that you can never render an incorrect dynamic URL (because URL's are represented by data types) and more such features. I've used Yesod in actual real-world projects and it was always a pleasure, albeit sometimes slightly complicated - the new version (which I haven't used yet) promises to simplify this a lot though.