t = O (_t1::a0)
t :: Opaque = O _
_t1 :: a0 = _
()
t = O ((_t2::a0) : (_t3::[a0]))
t :: Opaque = O (_ : _)
_t1 :: [a] = _ : _
it :: () = ()
_t3 :: [a0] = _
_t2 :: a0 = _
()
t = O (Just [1,1] : (_t4::[Maybe [Int]]))
()
t = O (Just [1,1] : (_t5::Maybe [Int]) : (_t6::[Maybe [Int]]))