Hi I want to implement typelist concept through mpl::list or mpl::vector. The idea is that for every call to some functor i want to store its type in a mpl::list e.g suppose we have struct A { }; A callA() {}; struct B {}; B callB() {}; main() { callA(); callB(); } this program should create a compile time mpl::list containing {B,A}. How can I implement this concept using mpl::list or mpl::vector ? Thanks in advance Regards Noman