1 2 3 4
o = O (_t1::a0) () _t1 :: SafeList Bool NonEmpty o = O (One False (_t4::SafeList Bool Empty))