Does this improve performance by widening the bounds of type stability?