гарантию ". Я опустил окончание первого слова, потому что все в этой публикации было слишком длинным. :)

la есть хорошая возможность выводить параметр типа внутри сопоставления с образцом. Он также проверяет исчерпанность сопоставления с образцом. Например: sealed trait PField[T] case object PField1 extends PField[String] case object PField2 ...