@0,1,2,3,4⦊
‸
⦉@0,1,2,3,4
PartialOrd
@0,1,2,3,4⦊
‸
⦉@0,1,2,3,4