#include <boost/bind/arg.hpp> // uncomment to get it working
#include <boost/mpl/apply.hpp>
#include <boost/mpl/bind.hpp>
#include <boost/mpl/reverse_iter_fold.hpp>
#include <boost/mpl/vector.hpp>

struct f1
{
  template<typename T1,typename T2> struct apply
  {
    typedef typename T1::type type;
  };
};

typedef boost::mpl::bind2<f1,boost::mpl::_2,boost::mpl::_1> f2;

typedef boost::mpl::vector<int,char,double,float> f3;

typedef boost::mpl::reverse_iter_fold<
  f3,
  int,
  f2
>::type f4;

int main()
{
  f4 x;
}