Use ConstraintKinds to make alias for SetupOrTerminated a ~ True