“…Below, conform this scheme, two such GEC τ s are created in the function apply2GECs such that the call-back function of GEC A employs GEC B. With these definitions, apply2GECs toBalancedTree [1,5,2,8,3,9] pst, results in two GEC τ s. One for a [Int], and one for a Tree Int. Assuming that toBalancedTree is a function that transforms a list into a balanced tree, any change made by the user to the displayed list 6 will automatically result into a corresponding re-balanced tree being displayed (see Fig.…”