1 2 3 4 5 6
o = O (_t1::a0) () _t1 :: SafeList Int NonEmpty o = O (Cons 3 (_t4::SafeList Int y10)) () o = O (Cons 3 (Cons 6 (_t9::SafeList Int y10)))