> Types don't carry behavioral information about what the method does internally.
I was under the impression type inference meant that the implementation of a function directly determines the return type of a function, and therefore its signature and type.
I was under the impression type inference meant that the implementation of a function directly determines the return type of a function, and therefore its signature and type.