First of all, working on a framework (Padrino) myself: I firmly believe that "there's nothing better then ours" without actually answering the question properly is a rude thing to tell someone who asks for replacing a part. So, is there a system in place that allows me to use any templating language that conforms to a given protocol? And where can I find that protocol? (in Padrino, for example, this is Tilt)
Okay, whats wrong with hamlet. It begins on google: "yesod hamlet" does not yield any meaningful documentation. "Shakespearean Templates" does. So "Shakespearean Templates"[1] is a whole family of languages that solves a lot of problems already solved, but type-safe. Well... okay, so I do not only have to learn a whole new framework, I also have to learn 3 new languages (-2, if I only care about HTML templating). So, to me, the whole approach rings a bit of "the world is wrong and we fix everything". Considering gregwebs answer: even more so.
Hamlet just doesn't suit my tastes. I don't like auto-closing tags on intendation - any decent text editor should assist you enough to do that properly. I like how you put thought into generating URLs, but thats nothing the templating language should take care of. Also, Hamlet assumes that you are templating HTML - I often template other types as well, for example plain text - hence a need for replacing it by something that fits all needs better. In the end, I also prefer strictly logic-less templates, so hamlet doesn't cut it.
Also, the documentation should see some love. There is no way to have a look at the features (and languages) in isolation: Its a stream of consciousness that introduces features in a half-sentence (I had to grep it to find what "^" means - it was what I expected it to be, but nevertheless).
That said, I still find Yesod a compelling framework and it will be the first haskell framework I'll try out next time I have some spare time. But the first thing I'll do is replace the templating.
[1]: I would prefer if they had anything to do with shakespeare, the esoteric programming language. ;)