https://9dok.net/document/yngd2nm0-bag-useful-techniques-unification-based-finite-state-transducers.html