Further wibbles to 'deriving' for functor-like things