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