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