t = O (_t1::a)
_t1 :: a
()
t = O ((_t2::a1) : (_t3::[a1]))
()
t = O (Just [(_t4::a1),(_t5::a1)] : (_t6::[Maybe [a1]]))
_t4 :: a1