Comment by mrkeen

But I have the compiler write the type annotations for me. If it can't do that, it makes my job harder to make sure top-level functions have types.