Matt Morrow wrote: > And i forgot to include the defs of (co)prod: > > coprod (<>) i1 i2 = (\a b -> i1 a <> i2 b) lambdabot> pl \f i1 i2 -> (\a b -> i1 a `f` i2 b) (flip .) . (((.) .) .) . (.) Muhahaha. :-D Too bad the flip is still in there. :-) Martijn.