ジェネリックパラメータ型の表現として真の型へのポインタを渡すという点では普通のジェネリクスと同じだなあ。 caller側が決めるジェネリクスだとmetatypeを引数で渡すけど、 callee側が決めるジェネリクスだと、それに対してmetatypeを返す補助関数を一つ用意するだけになっていて、ほかは同じか。