> {     template<           typename First         , typename Last         , typename State         , typename BackwardOp         , typename ForwardOp         >     struct result_     {         typedef typename 