ＯＯだって副作用を原理的に排除するものでもあるわけだが。
その関数型ってのは知らないがね。