shrinkTA :: ShrinkAcc acc -> Tuple (PreOpenExp acc env aenv) t -> Tuple (PreOpenExp acc env aenv) t
shrinkTA s tup =
  case tup of
    NilTup      -> NilTup
    SnocTup t e -> shrinkTA s t `SnocTup` shrinkEA s e
shrinkTA :: ShrinkAcc acc -> Tuple (PreOpenExp acc env aenv) t -> Tuple (PreOpenExp acc env aenv) t
shrinkTA s tup =
  case tup of
    NilTup      -> NilTup
    SnocTup t e -> shrinkTA s t `SnocTup` shrinkEA s e
shrinkTA s tup =
  case tup of
    NilTup      -> NilTup
    SnocTup t e -> shrinkTA s t `SnocTup` shrinkEA s e