And it would be much more complex to implement, particularly with recursively nested types.