sortWith package:Agda

sortWith for NonEmpty, behaves the same as:
sortBy . comparing