idris-lang/Idris-dev — pull request #997 by jedesah (2014-03-24 03:37:45+00:00)
Title: Add Additive typeclass to Prelude

I think it's best if the Additive typeclass is seperate from the Num typeclass which can then derive from it.

Alternative versions of the Haskell Prelude have put this into practice.