And the trade-off of type inference and 'you have to hint here' vs compile speed is also well worth it. Like other comments here, I usually add local names or types to signatures 'for readability' (esp. to future me).