Do you have any numbers on the slowdown/bloat caused by using a correctly-typed array vs `Voids`?  Or is this intuition?