Trait RowCon
lambek::row
pub trait RowCon { }
impl RowCon for Bottom
impl RowCon for Top
impl<X, Tail> RowCon for Union<X, Tail>
impl<X, Tail> RowCon for Cons<X, Tail>