now construction
prove: foldr is catamorphism of initial algebra of idempotent functor listF_A: Sets -> Sets