Ograniczenia klas typowych dla deklaracji danych

Najwyraźniej złym pomysłem jest umieszczenie ograniczenia typowego dla deklaracji danych [src], [src].

Osobiście nie spotkałem się z pragnieniem ograniczenia typów w typach danych, które stworzyłem, ale nie jest dla mnie oczywiste, dlaczego projektanci języków „zdecydowali, że pozwolenie jest złe”. Dlaczego?