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