fmap id      = id
fmap (p . q) = (fmap p) . (fmap q)