全てのsome Fooが代入不可ならシュッと受け入れられるんですけど、代入できるやつとできないやつが同じ型で表現されるのが…

うん、これが引っかかってて、可読性が落ちそう・・・。エラーメッセージで出ても、レビューしてるときとか、すぐに同じ型かどうか判断できなさそう。