関数型言語の欠点:馬鹿にはコンパイル通るコードすら書けない