自分の無能さの確認をしてみる。

http://www.kmonos.net/wlog/95.html#_2107090326
論文読まずに適当にコード書いてみて後で論文を読んで自分のセンスの無さに絶望する遊びをしてみる。

z = Prelude.map
s x = \f a b -> x (uncurry f) (zip a b)

myZipWith = id

map     = myZipWith zero
zipWith = myZipWith one
zero = z
one  = s z
main = do
        print $ Main.map id [1..10]
        print $ Main.zipWith (,) [1..10] [2..11]