Comment by burgerdev

> if isGenTypeOf typedefof<_ option> then

Wow! This code looks horrible. Why don't you just accept the fact that the language is strongly typed and abolish reflection altogether?