Chapter16 (v23) final: How the Scala's type inferencer works