■

オキャムルとかのunit(いわゆるvoid)がなぜunitと呼ばれるのかと言うと、その型に属する値が一つしかないから(じゃねえかな)。ハスケルだと()で、これは0個のタプルなのでこれも値のとれる余地がひとつしかない。値をとらないとか言う代わりに、ひとつのどうでもいい値しかとらないと言うほうが扱いやすいのかね。