{-# htermination sequence_ :: [[] a] -> [] () #-}
content may be truncated. 'popout' for larger text window.