Re: [Haskell-cafe] Pointed, but not Applicative

30 Aug 2011

      On Mon, 2011-08-29 at 20:24 -0700, Ryan Ingram wrote:
...
On Sun, Aug 28, 2011 at 8:24 PM, Maciej Marcin Piechotka
 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