Something that should exist:
geom_principal_curve()
If x and y have a symmetric relationship, eg both x and y are noisy measurements of an underlying hidden variable, geom_smooth will under-estimate the slope, just like linear regression.
Prompted by a case where the slope really should have been 1. geom_smooth made it look less, and even made it seem like the data should be broken into groups.
⟋
⟋
⟋