fix TODO in type arg inference algo