mu . fmap mu  = mu . mu
mu . fmap eta = mu . eta = id

eta . f            = fmap f . eta
mu . fmap (fmap f) = fmap f . mu