Also makes it clearer from the type signature what the function does. [NOTE: Also create “Types as documentation”].