Or it's proof of the strength of their convictions that they can have an impoverished type system despite all the pressure to have an enriched one.