Functor (from Modern C++ Design)

TypeList を実装するのが面倒だったので、引数1個バージョンを作ってみた。
強力！マジで操作を運んでる気がするよ、これは。
こりゃ、TypeList 実装して、2個以上引数バージョンが欲しくなるな…

それにしても

class NullType {};

と

struct EmptyType {};

の深さにびっくり。