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