それを扱えるモデルを導入すれば済む

実行はそうですね、３つ組ですねで、実行できる前の型チェックが鬼門かなと思います