Added some intermediate patches to new branch.
Some small movements and tweaks, made it compilable
Added 'append' parser, which appends arg to monoid
Added appendMap, it maps arg before appending
Added 'prepend' parser (flipped append)
Made examples working, added program name to default usage string
Metavar derivation from argument type (it should be Typeable)
Changes of syntax, tried to add annotations via type literals
Cleaned up.