That's actually a benefit. It allows the type signature to be used to compose and verify what you're passing to a function, and to use that same interface in ot

That's actually a benefit. It allows the type signature to be used to compose and verify what you're passing to a function, and to use that same interface in other places.