По-видимому, плохая идея наложить ограничение класса типов на объявление данных. [SRC], [SRC].
Я лично не сталкивался с желанием ограничить типы в созданных мною типах данных, но для меня не очевидно, почему разработчики языка решили, что это плохая идея - разрешить "." Это почему?