[Typer] Odd limitations of the `Erased` box