Hi, On 16.04.2009, at 05:08, Matt Morrow wrote: > And i forgot to include the defs of (co)prod: > > prod (><) p1 p2 = (\a -> p1 a >< p2 a) I think this one is liftM2 of the ((->) a) Monad instance. Cheers, Jan