definition module tree

f :: Dynamic -> Int

//:: Tree c d = Node !c d (Tree c d) (Tree c d) | Leaf