{-# htermination sequence_ :: [[] a] -> [] () #-}