sub f
{ my ( $n, $g, @a ) = @_;
  croak "illegal value for n: $n" if $n < 1;
  return @a if $n == 1;
  map { my $x = $_;
        map { $g->( $x, $_ ) } f( $n - 1, $g, @a );
      } @a;
}