... a type inference system means that typing (of data) need not involve extra typing (with fingers).