let
right_destructor printer ppf x =
fprintf ppf
"inter(%a)"
printer x