Roduit et. al.  talk about property- and type-perfecting driving forces in sports. Many sports such as most (all?) olympic sports are by most people considered to be type-perfecting i.e. they look for the fastest, strongest, ... human (Citius, Altius, Fortius). As such, the authors conclude, there should be limits imposed on what enhancements may be used in such sport, depending on what it means to be (remain) human.
What are some examples of sports that are considered to be property-perfecting, i.e. enhancements are employed regardless of how human the participant remains?
Is Formula 1  such a sport? Most enhancements are made to the vehicle of the human (?) driver. Is it relevant in this sport that the drivers are human?
 Johann A. R. Roduit & Roman Gaehwiler (2018) Ethics and enhancement in sport: becoming the fastest (human?) being, Sport in Society, 21:4, 713-719