Requiring type annotations on all functions would make programming with higher order functions very laborious.

I'd agree if we're talking about top-level only, though.