On Mon, 2011-08-29 at 20:24 -0700, Ryan Ingram wrote: > > > On Sun, Aug 28, 2011 at 8:24 PM, Maciej Marcin Piechotka > <uzytkown...@gmail.com> wrote: > f `fmap` FList g = _|_ > f `fmap` FList g = map id > f `fmap` FList g = map _|_ > (+ variation of _|_*) > > f `fmap` FList g = \bs -> map f (g []) ++ bs >
You mean f `fmap` FList g = FList $ \bs -> map f (g []) ++ bs > > Seems to confirm to second law as well. Regards _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe