I think this can be a downside/cost that should be considered. I wouldn't say "because type inference can be harder to read in some places, it should always be

I think this can be a downside/cost that should be considered. I wouldn't say "because type inference can be harder to read in some places, it should always be avoided".