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