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.