idris-lang/Idris-dev — pull request #1647 by victoredwardocallaghan (2014-10-16 17:04:19+00:00)
Title: Factor out 'higher' abstract algebraic structures from prelude to base

There are still instances of Semigroup and Monoid from within the
Prelude. These are very natural and so we leave a very limited
abstract algebraic type class implementation for these in the Prelude.

Signed-off-by: Edward O'Callaghan