fun comp F G =
             let
                 fun C x = G(F(x))
             in
                 C
             end;

     fun F x = x+3;

     fun G y = y*y+2*y;

     val H = comp F G;

     H 10;