Faster correct explicit lists implementation