Traverse and modify the AST in-place or define a decorator?

[y-usuzumi]

Now I'm a bit inclined to implementing a pyn Python package to do all these stuff. (Can possibly be a ghost module that's wiped out after conversion)

And wrap all the type-check stuff with a decorator.

Benefits:

• Simplifies return value type-check
• Cleaner Visit.hs code

Ideas?