http://www.artima.com/articles/compile_time.html
this is the article, but I cannot find anything about the types, so just ignore me.