Define Foldable.
Add exercises in ch12.