scala - una - ¿Por qué el método Opción o No tiene este argumento implícito superfluo?