This is how ==KList is implemented. I think it's safe to have a nodoc tag for it.