generic
   type Node_Level is (<>);
package Tree is

   -- it's a binary tree. for now.
   type Tree_Direction is (Left, Right);

   type Direction_Array is array (Node_Level range <>) of Tree_Direction;

   type Path_To_Node (Depth : Node_Level) is record
      case Depth is
         when Node_Level'First => Directions : Root_Node;
         others => Directions : Direction_Array (Node_Level'First .. Depth'Pred);
      end case;
   end record;

   -- .. somewhere here, the actual Tree structure is defined
end Tree;