pub fn seq<A, B>(a: A, b: B) -> impl Lifecyclewhere
    A: Lifecycle,
    B: Lifecycle,