I think I understand `lift`, but I don't understand this example