(flip id) の解釈の仕方がよく分からないので、とりあえず自分なりに考えてみました。 flipとidの定義が、こんな感じだとします。 flip :: (a -> b -> c) -> b -> a -> c flip f = \b -> \a -> f a b id :: a -> a id = \a -> a(flip id)を簡約すると、次の…