method copy : (unit -> unit) option = None