Yesod is a web framework based on Haskell for the professional development of type-safe, REST model–based, high-performance web applications.
Yesod uses templates to generate instances for the listed entities and to produce dynamic content. The templates are based on code expression interpolations in web-like language snippets; in this way, they are fully type-checked at compile time.