The requirements are:

• It must be Haskell (because that's what I want to program in).
• I need at least the full functionality of the Drupal V5 Image Gallery module, without the bugs, and we the possibility of an image being in multiple galleries.

What I'm experimenting with at the moment is:

Formlets

The encapsulation of the definition of a form with its behaviour appeals to me strongly.

HaskellDB

I love the SQL-free type-safe approach. I'm using HDBC backend for SQLite3 for now.

HappStack

Although the documentation isn't all it might be (happs-tutorial is more of a collection of code for exploration than a real tutorial), it does look like a suitable framework to hang things around. I'm not using MACID, as I specifically want to play with HaskellDB (which I might also want to use to migrate the existing site from MySQL).

I haven't made up my mind about dynamic XHtml page generation yet. As Formlets requires Text.XHtml.Strict, I'm using that for the moment.