Romans, rubies and the Haskell?

Correct. Your Template Haskell code is generating an integer literal, which must obviously be evaluated at compile-time. To have the computation happen at run-time you would have to generate some other kind of expression, e.g. A function application.

First, it would be nice if you explained what you want. I take it from the link that you want compile-time translation of roman numerals to Num a => a, but perhaps I didn't get it exactly in my brief read.

I cant really gove you an answer,but what I can give you is a way to a solution, that is you have to find the anglde that you relate to or peaks your interest. A good paper is one that people get drawn into because it reaches them ln some way.As for me WW11 to me, I think of the holocaust and the effect it had on the survivors, their families and those who stood by and did nothing until it was too late.