Я пытаюсь получить произведение дерева с помощью функции сгиба, пока это то, что у меня есть. Я не понимаю, как использовать метод сгиба при прохождении дерева

datatype 'a bin_tree = Leaf of 'a 
| Node of 'a bin_tree * 'a bin_tree


fun treefold g z Empty = z
| treefold g z (Node (l, x, r)) = g(x, g(treefold g z l, treefold g z r)