Because most statically typed languages allow us to define our own types, add type signatures to constrain etc. Dependently typed languages also allow types to

Because most statically typed languages allow us to define our own types, add type signatures to constrain etc. Dependently typed languages also allow types to depend on values. Inference is useful, but only one aspect of static typing.