pub fn extract_choice<'a, Row, F, T1, T2>(row: AppSum<'a, Row, F>) -> T2 where
    F: TyCon,
    Row: FlattenSumApp<'a, F, FlattenApplied = T1>,
    T1: Into<T2>,