let destruct = fun _ -> ()