Quoted constructors are constructor names with double quotes as in "a very long constructor"(A, B) This feature is available from [[StrategoRelease013][StrategoXT 0.13]].