enum ViewLeft[a: Type] with Eq
case OneLeft(a)
case SomeLeft(a, Nec[a])
A datatype for pattern matching on a Nec (traversing left-to-right).
instance Eq[ViewLeft[a]] with Eq[a]