Also with ... do tut auch mit Objekten, aber das hättest du auch durch probieren rausfinden können.
und wenn du aus record einfach class machst, dann sollte sich an deinem Code mit dem with ... do auch nichts ändern.
[
OT]
Eigentlich Schade, dass ein so schönes Programmierkonstrukt wie with ... do in kaum einer anderen Sprache existiert.
[/
OT]