Seq <L> LContained() => IsLeft?Seq.singleton(Left) : Seq.zero <L>();
Seq <R> RContained() => IsRight?Seq.singleton(Right) : Seq.zero <R>();
public Seq <X> pure(X x) => Seq.singleton(x);