Functor laws: