Function ferrite_session::internal::functional::row::lift_sum

pub fn lift_sum<Row, F1, F2, Lift>(
    lift: &Lift, 
    sum: AppSum<Row, F1>
) -> AppSum<Row, F2> where
    F1: TyCon,
    F2: TyCon,
    Row: SumFunctor,
    Lift: NaturalTransformation<F1, F2>,