私のイメージはそんな感じでした。逆も然りで、Result返り値でそれが出来るのもアリかなと

4:01 AM

サブタイピングだと闇が発生するので、アサインのみ変換して許可とかになるかとは思いますが (edited)