[Haskell-cafe] Question on nested fmaps.

[David Banas]

Is this true, in general?:

fmap h (fmap g f) == fmap (h . g) f

Is there a simple proof?

Thanks,
-db

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20151230/5e2f3d93/attachment.html>