Adding functor laws