Simplify fold definition
Add Getter
Add Setter constructor
Add Fold constructor
Fix example