Add Monoid for Free
Add Semigroup for Free
Merge pull request #846 from ceedubs/free-instances

Free instances