AMDG In accumulate and fold I see is_same< typename result_of::begin<Sequence const>::type , typename result_of::end<Sequence const>::type>() shouldn't this be result_of::equal_to<...>()? In Christ, Steven Watanabe