Correspondência de padrão em objetos de caso com membros de tipo

O Scala possui um recurso interessante para inferir o parâmetro de tipo dentro da correspondência de padrões. Ele também verifica a exaustividade da correspondência de padrões. Por exemplo: sealed trait PField[T] case object PField1 extends ...