関数型言語ではユニットとして知られているが、タプルとは別に語られる