internalな変数なら実装都合の型が露見しても良い

そもそも右辺値に来るfuncのシグネチャ定義の時点でopaque typeだから、実装の型はわからんのでは (edited)