tyRec :: (Eq a, Bound ki, Bitransversable ki, AsTyIsoRec ki ty)
      => a
      -> Type ki ty a
      -> Type ki ty a
tyRec v ty = review _TyRec (abstractTy v ty)
tyRec :: (Eq a, Bound ki, Bitransversable ki, AsTyIsoRec ki ty)
      => a
      -> Type ki ty a
      -> Type ki ty a
tyRec v ty = review _TyRec (abstractTy v ty)
tyRec v ty = review _TyRec (abstractTy v ty)