a
val foo: Eq[(A, B)] = (x, y) => x._2 == y._2 нарушает законы EqSize: a a a
a
val foo: Eq[(A, B)] = (x, y) => x._2 == y._2 нарушает законы Eqa
Order обязан наследоваться от Eq - хороший вопрос. не обязан конечноa
Eq в хаскелле не имеет закона, требующего уничтожения всей информации, по которой нет сравненияa
Eq (equality) и Equiv (equivalences)DK
λ
λ
λ
NM
λ
λ
DK
λ
S
Oℕ
VH
Oℕ
DK
S
DK