Experiments on making TreeNode covariant

Doesn't compile... :-/