mapA

Arrow での map 関数。

mapA f = arr listcase >>> arr (const []) ||| (f *** mapA f >>> arr (uncurry (:)))

んぐ。気持ち悪い。常識が覆されております。

map がでてきたら当然 filter も書くでしょ！とかいって適当に書いてたけど、いっこうにうまくいく気配なし。ドンマイ俺。うーん、意味わからんよ。