pub trait SumFunctor: RowCon {
    fn lift_sum<'a, T: 'a, F1: 'a, F2: 'a>(
        lift: T,
        sum: AppSum<'a, Self, F1>
    ) -> AppSum<'a, Self, F2>
    where
        F1: TyCon,
        F2: TyCon,
        T: NaturalTransformation<'a, F1, F2>,
        Self: 'a
; }

Required methods

Implementations on Foreign Types

Implementors