うーん、実装が露出してることと、型システム上で型が露出してることはまた別な気がする。