Check out "Monadic Design Patterns for the Web"[1]. I haven't read it yet, but the description sounds like exactly what you're looking for. I don't think you'

Check out "Monadic Design Patterns for the Web"[1]. I haven't read it yet, but the description sounds like exactly what you're looking for. I don't think you're going to find an escape from the theory, though... the abstractions that are necessary to adapt functional programming to something like a CRUD app are going to be mind-bending, one way or another. It might be easy to write something simple up in Yesod or Snap, but that's only because the framework authors are doing most of the abstraction-herding for you. From what I can tell, that book goes into the messy details. [1]: http://www.artima.com/shop/monadic_design_patterns http://www.artima.com/shop/monadic_design_patterns