On Sun, Aug 28, 2011 at 8:24 PM, Maciej Marcin Piechotka <uzytkownik2@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