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