More about type inference.