pub fn get_sum_borrow<'a, 'b, Row, F>(
    row: &'b AppSum<'a, Row, F>
) -> &'b Row::Applied where
    F: TyCon,
    Row: SumApp<'a, F>,