tightened up Categories.Comma.Functors