メタクラスのtype erasureってもしかして自作できない・・・？