continuity for all functors to *, i -> *, and Constraint