shrinkATA :: ShrinkAcc acc -> Atuple (acc aenv) t -> Atuple (acc aenv) t
shrinkATA s atup =
  case atup of
    NilAtup      -> NilAtup
    SnocAtup t a -> shrinkATA s t `SnocAtup` s a
shrinkATA :: ShrinkAcc acc -> Atuple (acc aenv) t -> Atuple (acc aenv) t
shrinkATA s atup =
  case atup of
    NilAtup      -> NilAtup
    SnocAtup t a -> shrinkATA s t `SnocAtup` s a
shrinkATA s atup =
  case atup of
    NilAtup      -> NilAtup
    SnocAtup t a -> shrinkATA s t `SnocAtup` s a