let
left_destructor printer ppf x =
fprintf ppf
"union(%a)"
printer x