Function ferrite_session::lift_sum_inject

pub fn lift_sum_inject<Lift, Row, TargetF>(
    lift: Lift, 
    row: AppliedSum<Row, Lift::SourceF>
) -> AppliedSum<Row, Lift::InjectF> where
    TargetF: TyCon,
    Row: SumFunctorInject,
    Lift: InjectLift<AppliedSum<Row, TargetF>, TargetF = TargetF>,