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
I'm just refreshing my memory on monadic programming in Haskell just to see
if this is applicable to problem I'm currently having.