SortEquiv.curry 1.27 KB