Luke Palmer wrote:
Do you have an example of code that required an annotation to compile?
There is some trickiness around functions like "read" that can demand
explicit type signatures. You also sometimes get this with numeric
literals, array types, etc.
