finish monoid
add some properties to ListSpecification
WIP: parser
Finish parser
Add flatmap solution to result