というか、これがないと本当に関数型はただ関数を書くだけになって、構造化と何ら変わらなくなるので、このレベルの理論的土台はおそらく関数型言語に共有されている
モナドまで行く必要もなくて、基本とその他に分けられるだけでも一定程度の効果が見込める