scala - una - ¿Cuáles son algunos casos de uso convincentes para tipos de métodos dependientes?