Am Samstag, 11. Juli 2009 00:16 schrieben Sie: > On Friday 10 July 2009 4:35:15 am Wolfgang Jeltsch wrote: > > I fear that this instance doesn’t satisfy required laws. As far as I > > know, the following equalities should hold: > > > > (*>) = (>>) > > > > f *> empty = empty > > IO already fails at this law, because (f *> empty) is not the same as > empty,
Huh? There was no Applicative instance for IO. This was the reason for Cristiano to define one, and my mail pointed out a problem in his definition. Best wishes, Wolfgang _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
