better agda sort