sequence_Nil :: (List (List b))  ->  (List Tup0)
sequence_Nil = foldr gtGtNil (returnNil Tup0)
sequence_Nil :: (List (List b))  ->  (List Tup0)
sequence_Nil = foldr gtGtNil (returnNil Tup0)
sequence_Nil = foldr gtGtNil (returnNil Tup0)