Trait SumApp
ferrite_session::internal::public::functional
pub trait SumApp<F>: RowCon where F: TyCon, { type Applied: Send + 'static; }
type Applied: Send + 'static
impl<F, A, R> SumApp<F> for (A, R) where A: Send + 'static, F: TyCon, R: RowCon,
type Applied = Sum<App<F, A>, AppSum<R, F>>
impl<F> SumApp<F> for () where F: TyCon,
type Applied = Bottom