関連型を特化させた不透明型