#include <boost/mpl/vector.hpp>
    typedef
  boost::mpl::vector
  < boost::mpl::true_
  , boost::mpl::true_
  , boost::mpl::true_
  >
and_true3_seq
;
  and_seq<and_true3_seq>::type
and_true3_val
;