Effective ATS:
Sorting Linear Lists