Spec for forAllShrink