Or should obey the functor laws via its 'good' map