副作用を認めると
引数や戻り値の型とは違う型のデータを、どこかに隠された変数に入れたり
例外として投げたりできるから