d14 - sorting by composing our own type. type needs
to have Len, Swap, and Less. What's the implementation?