type inference

/Tag: type inference