Ohne das zweite map ist user ein Optional<anonymous class with two fields>, was sich ohne var nicht ausdrücken ließe.

Hinter 'var', formal "Typinferenz für lokale Variablen", versteckt sich in Java 10 ein Feature, das Javas Optik ordentlich ...