Is this true, in general?:
fmap h (fmap g f) == fmap (h . g) f
Is there a simple proof?
Thanks,
-db