For those trying to decide priorities: I would like to see mdo supported in Template Haskell. Both mdo and TH are useful for DSELs. It's a shame one can't combine them. thanks, mike