メタタイプを表す型が欲しかったのだけど、無さげ。