多分議論が空中戦になってて、こんなケースだと Rx で型検査できなくて問題になるよという例が出せれば建設的なんじゃないかなぁ。そして、それに @tarunon さんが解決策を示せれば新しい知見が得られるかも？