Derek Elkins <[EMAIL PROTECTED]> wrote: > The notation f+g is the notation for the functorial action of > + : CxC -> C on arrows, that is, if f : A -> B and g : C -> D > then f+g : A+C -> B+D.
So [f,g] and f+g different. I assumed that the functorial action of + on arrows was to take ((A -> C), (B -> C)) to A+B -> C, which goes a long way to explaining my confusion :) -- _jsn _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe