Foldable ADT added
Added monoid dual function