pub type EitherRow<A, B> = Sum<A, Sum<B, Bottom>>;
pub enum EitherRow<A, B> { Inl(A), Inr(Sum<B, Bottom>), }