https://9dok.net/document/zkwo9vmm-subtyping-regular-tree-types-java-based-implementation.html