>>747
data Node a = Node a ID [Node a]

というように、各ノードを区別できる全体で一意のノードIDを持たせても無理?