Eq and PartialOrder instances for List
ceedubs opened this issue · 2 comments
ceedubs commented
Currently algebra provides an Order[List[A]] instance provided that A has an Order instance. However, it could also provide Eq[List[A]] with the weaker constraint that A has an Eq instance and similarly for PartialOrder.
Such instances already exist in Cats. They should probably be moved to algebra.
johnynek commented
+1
non commented