13 - Scala. Dependent pair type (Σ-type). Part 1