bind in type inference