Closed toyboot4e closed 3 weeks ago
Basically boxed vector is anti pattern for segment tree. If really needed, wrap boxed types in Boxed newtype.
Boxed
See also: vector#503 and vector#508. Use DoNotUnboxStrict or DoNotUnboxNormalForm as wrappers.
DoNotUnboxStrict
DoNotUnboxNormalForm
Basically boxed vector is anti pattern for segment tree. If really needed, wrap boxed types in
Boxed
newtype.