下のやつを Arrow を使って書き直してみる。ばっちりポイントフリー。 kaibun :: Eq a => [a] -> Bool kaibun = id &&& reverse >>> (uncurry $ zipWith (==)) >>> and ようやく Arrow の使いどころを見つけたか…。いや、いちいちこんなふうに書くやつがいた…

http://www.agusa.i.is.nagoya-u.ac.jp/person/mzp/hiki/?exercise#l4 から。ハノイの塔を State モナドでやろうとして混乱してやる気がなくなったので、ワンライナーでお茶を濁す。できれば引数の s をなくしてしまいたい。 isKaibun s = and $ zipWith (==…