@googs Kipchoge is like 55kg or so, pretty sure he could DL 2x his body weight with very little training. Relative strength is generally higher with lightweight athletes. Whether it would benefit his running is another thing though.
Also deadlifting wouldn't make him heavy. Weight is gained by...