Describir: A pointless derivation of radix sort