I'm just wondering if there is any specific reason why monadic programming hasn't been explored in pre-processor/template metaprogramming other than (probably) the most obvious reasons. I can see a state monad being probably quite useful. I'm just refreshing my memory on monadic programming in Haskell just to see if this is applicable to problem I'm currently having.