method fun_binding =
                  fun f ->
                    function
                    | `patt p -> o#simple_patt f p
                    | `newtype i -> pp f "(type %s)" i