1 2 3 4 5 6 7
t = O (_t1::a) _t1 :: a () t = O ((_t2::a1) : (_t3::[a1])) () t = O (Just [(_t4::a1),(_t5::a1)] : (_t6::[Maybe [a1]])) _t4 :: a1