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