I don't understand why the authors of Dart defined fields of record instance as 'final'.