Should this just be replaced with `box EmptyShrinker`?