mergeResult
Merge branch 'Monoid-A' of git@github.com:erikwj/playground.git into Monoid-A