There is more than one way to be difficult to work with. For example, some can have anger problems. In these cases, mindfulness coaching can be useful. Why are they angry? Are they angry at perceived incompetence? Are they angry when they don't get their own way? Are they angry because of the argument with their parents the night before?
Another is contempt. If someone treats their teammates with contempt, it is often a sign of someone having a "fixed" mindset. They believe that some people are good at programming, and some people are just bad, and it can't be adjusted. These people are often also terrible teachers, which means they need to be taught that skill.
Some are inconsiderate. They have terrible hygene and controllable body odor. They listen to their own music on speakers in an open office. This often takes coaching on behaviors from management.