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