그냥 간단하게 생각하면 되는 건데
등식이 트리를 순회하되
잎이 있으면 거기서 바로 남은 패턴을 디슈거하고
태그가 다른 가지면 죽어버리고
태그가 같은 가지면 패턴을 벗기고 변수 이름 바꿔주면 되고
근데 트리 정의를 free monad가 되게 해야 될 듯

- dc official App