Commutativity for functors defined via partial definientia.