>>740
凄い! なんかわかった気になる。
そうか、μをfunctor間の演算とみなせばよかったのか。

ところで>738の例で
Maybe functorがf* = Just . f
とあるけど、これでfindBornToday*が
Addressbook -> Maybe Person
から
Maybe Addressbook -> Maybe Person
になるんだろうか?
fをもちあげないといけない気がするんだが…