allows the compiler to deduce the proper type for you automatically, instead of you having to say it.
variables don't need explicit statements about their type unlike in java. haskell can automatically tell that 1 is of type int.
information about an individual that should remain private.