Make sure to specialize everywhere
Switch to Vector as a purely functional value store