Question:

For what reason we need the "Type inference" if we can enforce "Type constraints" ?????

Thanks in advance.