SortISortEquiv.curry 899 Bytes