Be more precise w/CommaCategoryMorphism truncation