1 --!!! rn007: as rn006, but w/ pattern bindings;
2 --!!! also a one-node recursive bindings
6 -- a recursive blob of one node
9 -- two sets of mutually-recursive blobs:
10 -- f, g, h are mut rec
11 -- i, j, k are mut rec
13 (f1@(f2@(f3@f)), 1) = g 1 1
14 (i1@(i2@(i3@i)), 1) = j 1 1
16 (Foo g 1 2) = (h, 1, 1, 2)
17 (Foo j 1 2) = (k, 1, 1, 2)
19 (~ ~ ~ ~h, 1, 2, 3) = f 3
20 (~ ~ ~ ~k, 1, 2, 3) = i 3