Nested generic packages in Ada

generic_nested.adb

package body Generic_Nested is
   package body Inner_Nested is
      procedure Test (A : A_Type; B : B_Type) is
      begin
         null;
      end Test;
   end Inner_Nested;
end Generic_Nested;

generic_nested.ads

generic
   type A_Type is private;
package Generic_Nested is
   generic
      type B_Type is private;
   package Inner_Nested is
      procedure Test (A : A_Type; B : B_Type);
   end Inner_Nested;
end Generic_Nested;

main.adb

with Generic_Nested;

procedure Main is
   package GN is new Generic_Nested (Integer);
   package Inner is new GN.Inner_Nested (Integer);
begin
   Inner.Test (1, 2);
end Main;