typedef mpl::vector<std::size_t,
         //                    min            max
         mpl::vector< mpl::size_t<0>, mpl::size_t<0> >, // undefined
         mpl::vector< mpl::size_t<1>, mpl::size_t<3> >, // foo
         mpl::vector< mpl::size_t<2>, mpl::size_t<5> >  // bar
 > arity_info;

must be  mpl::vector<
        mpl::vector< ...