Use `Involutive` in `Algebra.Props.Group`