Foldables.
Add Aplicatives.