Re: Discussion about the ConstraintKinds extension