表現を n-タプル に統一

"unit is 0-ary tuple." な流派に関しては後で考える