Function cut::get_sum

pub fn get_sum<'a, Row, F>(
    row: AppSum<'a, Row, F>
) -> <Row as SumApp<'a, F>>::Applied where
    F: TyCon,
    Row: SumApp<'a, F>,