Data.Nested.Seq.Ternary