Naming is where it starts, but the type signature also carries plenty of information it it, especially once you get to non-primitive types.