Wenn ich einen Aufnahmetyp mit Objektiven habe, ist es möglich, einen neuen Datensatz zu erstellen, ohne die zugrunde liegenden Record Accessoren zu verwenden?
%Vor% Ich könnte Foo
zu einer Instanz von Data.Default
machen und dann def
mit Objektiven ändern, aber nicht alle Datensatztypen haben sinnvolle Standardwerte. Hat Control.Lens einen eigenen Weg?