It makes it easier to reason about a functions result, both when reading the code and when type checking.