with Ada.Text_IO; use Ada.Text_IO;

procedure S is
   function B return String is
   begin
      return "hello";
   end B;

   generic
      type T (<>) is private;
   function G return T;

   function G return T is
   begin
      return B;
   end G;

   function H is new G(T => String);
begin
   Put_Line(H);
end S;