Type Inference example
Typeconverter and typeinference example