ゼロコストラッパーな型を実現する「extension type」

ゼロコストラッパーな型を実現する「extension type」