基本型でない型の振る舞いと対称性を保つためにエラーにせざるを
得ないということ？ template とか。本末転倒な気もするけども。