# `Stackless<'a>` isn't covariant

Current hypothesis is that this comes from `EvalTree<'a>` being invariant over `'a`
due to `FnOnce` being invariant over its output,
which in turn comes from present typesysten limitations.