I'd recommend the 'safe' bet.
The Tak/K 85/1.8 or Tak85/1.9
Smaller than the f1.4 options and easier to take out with a mix of other lenses in the bag.
The K version is smaller.
Well built to the standards of the old days.
The J9 is the most 'risky' option as there are plenty of lemons out there.
If you get a good copy, its cheap and as good as any of the other options and special (but poorest flare resistance of the lenses listed)
M85/2 is the smallest.
Super portable.
Sharp when focus is right and a nice rendering that I like.
However, it can suffer quite a of PF and contrast loss in strong contrasty light.
Samyang 85/1.4, a safe buy, cheap and f1.4, what's there to not like?
Size is a downside of this lens.
I also find that it often lacks 'punch' in its shots.
Its certainly competent..... but not the lens for me.
Buy with a bit of logic and some 'heart' - get the Tak 85mm
Buy with cool calculated logic - the Samyang 85
M85 takes 3rd spot (could move to top on a whim for me) and J9 the last.
Certainly no wrong choice.
All are good