A note on static metaprogramming