start better agda sorting