Just got rid of the type-check; if I don't want to have fancy
equality-checks on the nodes, I do not really need to worry about that.