unpack演算子

tupleの型操作がうまく簡単に書けなくて，ヒントを探していたら見かけた

typename Func<Seq>::type...

という記法に目が飛び出ました．
packされたままメタ関数に渡して戻り型をunpackなんてできたんですね…
通りで，やろうとしても激しくメタメタしくなるわけでした．
これで色々楽になる…