@0,1⦊
‸
⦉@0,1
PartialOrd
@18⦊
‸
⦉@18