opaque result typeはその名の通り本当の型は関数側で静的に決まってて、受け取り側(caller)がジェネリックコンテナで受け取るというだけなので

1:58 AM

使う側からの明示的な指定は無理、だと思います