VS
Size: a a a
AP
AP
AN
KZ
KM
KZ
ZM
DS
кY
AV
IR
AP
PartialOrd
вводит новый оператор <==
, который надо бы реализовывать каждый раз. Но default signature позволяет тем типам, которые уже умеют Ord
использовать вместо реализации Ord.<=
AP
PartialOrd
сам по себе от Ord
не зависит. И реализовывать его могут типы и не реализующие Ord
. Только таковым нужно будет предоставить реализации для <==
JS