  We consider estimation of a functional parameter of a realistically modeled
data distribution based on independent and identically distributed
observations. Suppose that the true function is defined as the minimizer of the
expectation of a specified loss function over its parameter space. Estimators
of the true function are provided, viewed as a data-adaptive coordinate
transformation for the true function. For any $J$-dimensional real valued
cadlag function with finite sectional variation norm, we define a candidate
ensemble estimator as the mapping from the data into the composition of the
cadlag function and the $J$ estimated functions. Using $V$-fold
cross-validation, we define the cross-validated empirical risk of each cadlag
function specific ensemble estimator. We then define the Meta Highly Adaptive
Lasso Minimum Loss Estimator (M-HAL-MLE) as the cadlag function that minimizes
this cross-validated empirical risk over all cadlag functions with a uniform
bound on the sectional variation norm. For each of the $V$ training samples,
this yields a composition of the M-HAL-MLE ensemble and the $J$ estimated
functions trained on the training sample. We can estimate the true function
with the average of these $V$ estimated functions, which we call the M-HAL
super-learner. The M-HAL super-learner converges to the oracle estimator at a
rate $n^{-2/3}$ (up till $\log n$-factor) w.r.t. excess risk, where the oracle
estimator minimizes the excess risk among all considered ensembles. The excess
risk of the oracle estimator and true function is generally second order. Under
weak conditions on the $J$ candidate estimators, target features of the
undersmoothed M-HAL super-learner are asymptotically linear estimators of the
corresponding target features of true function, with influence curve either the
efficient influence curve, or potentially, a super-efficient influence curve.
