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,

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.