関数の方は普通のopaque typeなのかな、そこでキャスト？できるんだね (edited)