代入可能だし is は真になるのに、関数型に組み込まれたときはその互換性が発揮されない