[hoseja]

Here's an example: https://github.com/tonsky/FiraCode/issues/751

[LeonidasXIV]

That's why e.g. Iosevka has language-specific ligations so you can chose between the standard, the slightly extended ML ligatures and the whole set of Coq craziness.