At 2002-05-25 01:32, Koen Claessen wrote: >Might I remind you that an arrow (as defined in category >theory) only requires identy and composition to be defined >and satisfying some laws? > >In particular, an arrow does not have to have the operations >"arr" and "first".
Well either "arrow" is being used in two different senses or the "Arrow" class should be renamed. If you can't define "arr" and "first", it may be an arrow but it's not an Arrow. -- Ashley Yakeley, Seattle WA _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
