オブジェクト指向では「人間」クラスから排便しない「美少女」クラスが作れないって
それはそもそも"排便しない"は「人間」クラスの設計上ありえない条件なのだから
そう主張してる関数型言語あたりの人が
我々の記法を使うことで「美少女は排便しなくなるのだ！」って主張するオチにして欲しいのではないか。