Yesod

Haskell also has its web frameworks – and Yesod it’s probably the most notable one. This framework lets you build type-safe, high-performing web apps through simple, high-level code. That’s thanks to its lightweight syntax that uses simple and correct DSLs that are checked at compilation, preventing runtime bugs. 

Yesod (IPA: [je'sod]; Hebrew: יְסוֺד‎, "Foundation") is a free and open-source web framework based on Haskell for productive development of type-safe, REST model based (where URLs identify resources, and HTTP methods identify transitions), high performance web applications, developed by Michael Snoyman et al. Yesod is based on templates, to generate instances for listed entities, and dynamic content process functions, through Template Haskell constructs to host eDSL content templates called QuasiQuotes, where the content is translated into code expressions by metaprogramming instructions.There are also web-like language snippet templates that admit code expression interpolations, making them fully type-checked at compile-time.Yesod divides its functionality in separate libraries, so you may choose your {database, html rendering, forms, etc.} functionality library of your choice.