Add tests for record syntax functions
Add module Example.Monoid
Link to the sources on the Github repository