Maybe this should just say `"constructor"` and not `"with constructor"`.  It's a little odd to have `with:` and `with` both in the language.