See: https://github.com/non/algebra/pull/126#discussion_r45569352 `Group[Map[K, V]]` needs a vetor space style `Eq[Map[K, V]]` that considers `eqv(Some(0), None)` one proposal is for the dependant typeclass to have as a member the depended typeclass (`def eqInst: Eq[Map[K, V]]`)
See: typelevel/algebra#126 (comment)
Group[Map[K, V]]needs a vetor space styleEq[Map[K, V]]that considerseqv(Some(0), None)one proposal is for the dependant typeclass to have as a member the depended typeclass (
def eqInst: Eq[Map[K, V]])