pub fn absurd<F, A>(row1: AppSum<'_, (), F>) -> A where
    F: TyCon