HaprianVlad/miniboxing-experiments — pull request #3 by VladUreche (2014-06-04 21:22:16+00:00)
Title: Closes #1: `zero` is actually `id` in an additive monoid

Ping @HaprianVlad: Also contains suggested fixes for the errors you're encountering.
That doesn't mean you don't need to understand implicits properly!

Btw, `/2` won't work, since `2` is not part of your monid.