Rewrite motivation part...
Rewrite generalized foldr section