Pretty sure those all exist; e.g. at work we use Yesod and Servant, which are a couple of Haskell web frameworks.