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