Operatore di quotation '<@' imprevisto nella definizione di tipo. Se si desidera passare una stringa verbatim come argomento ...