Add monoid instance

This is based on an ArrowPlus instance, in line with Ross Paterson's
arrows package.
Add convenience Num instance