ferrite_session::prelude
pub fn get_sum<Row, F>(row: AppSum<Row, F>) -> Row::Applied where F: TyCon, Row: SumApp<F>,