type inference

/Tag:type inference