[DrFalkyn]

Type annotations by themselves, are little more than a comment

[OutOfHere]

They're more than that as they allow for easy consistency checking of types across calls. This makes all the difference.