declare
IntegerSort = {MakeSort fun {$ X Y} X<Y end}

RationalSort = {MakeSort fun {$ X Y}
                            '/'(P Q) = X
                            '/'(R S) = Y
                         in P*S<Q*R end}