structをやるとしたら、markerプロトコルを新しく作って監視可能なものをマークするのと、KeyPathに新しいObservableKeyPath的なサブクラスを作って、ObservableKeyPathを作る時にパスの経路が全てマークされていることを静的に検証する、というのを思いついた