Inferred types are helpful as a demonstration and exploration tool. Once you are writing programs, having the compiler infer types and check against your requirement is a fantastic bug finder. matt