ferrite_session::internal::public::functional
pub fn absurd<F, A>(row1: AppSum<(), F>) -> A where F: TyCon,