Add docs for Foldable/Monoid/Functor
Add another operation to test, to test a "Full cycle"