shrinkFA :: ShrinkAcc acc -> PreOpenFun acc env aenv t -> PreOpenFun acc env aenv t
shrinkFA s fun =
  case fun of
    Body b      -> Body (shrinkEA s b)
    Lam f       -> Lam (shrinkFA s f)
shrinkFA :: ShrinkAcc acc -> PreOpenFun acc env aenv t -> PreOpenFun acc env aenv t
shrinkFA s fun =
  case fun of
    Body b      -> Body (shrinkEA s b)
    Lam f       -> Lam (shrinkFA s f)
shrinkFA s fun =
  case fun of
    Body b      -> Body (shrinkEA s b)
    Lam f       -> Lam (shrinkFA s f)