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