Think of it like type annotation in Haskell. It doesn't change things, but it lets you pin things down where you know them to make it easier to figure out the

Think of it like type annotation in Haskell. It doesn't change things, but it lets you pin things down where you know them to make it easier to figure out the bits you don't know (and lets you resolve ambiguity).