まぁそうだよね。関数型だって関数の中味に手続き書くだろうし