Children in China seem to have no trouble learning programming languages with type systems based on System-F. Swift is heavily pushed[1], for children 8+, but of course 6,7-year-olds also learn it.
But maybe if we keep lying and making things "easy" for kids in the west they can make a comeback.
[1] https://developer.apple.com/swift-playground/