全てのsome Fooが代入不可ならシュッと受け入れられるんですけど、代入できるやつとできないやつが同じ型で表現されるのが… と思ったけどエラーメッセージに関数プレフィックス付くんですね