Uniqueness for functors defined via partial definientia.