TypeConverter & Type inference Extension example