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