Это вполне логичное ограничение.
Если так дать возможность писать, то нужно реализовывать наследование типов. Задача не то чтобы сложная, на мой взгляд, но уж больно муторная и при этом может вызвать множество проблем. А стоит ли оно того?