Yesod is a framework designed to foster creation of RESTful web
application that have strong compile-time guarantees of correctness.  It
also affords space efficient code and portability to many deployment
backends, from CGI to stand-alone serving.

WWW: http://www.yesodweb.com/