Indexed Monoid solver
Created by: joaopizani
From @joaopizani on March 28, 2015 12:36
The current implementation of a Monoid solver in Agda's standard library does not work for indexed types. Let's adapt it in the same way in which we adapted Relation.Binary.Indexed
, etc.
Copied from original issue: joaopizani/piware#30