A pointless derivation of radix sort

This paper is about point-free (or 'pointless') calculations - calculations performed at the level of function composition instead of that of function application. We address this topic with the help of an example, namely calculating the radix-sort algorithm from a more obvious specificati...