解決しました。 Existentialになった型自身でWTの探索をさせるのがポイントだったようです。一般化した実装をつくりました。 https://gist.github.com/tarunon/85bdeccf8bc8f44b7b27d4974e0a843f

GitHub Gist: instantly share code, notes, and snippets.