int huge (int n, forall (type T) T (*f) (T))
{
    if (n <= 0)
	return f(0);
    else
	return huge (n-1, f(f));
}