{-# htermination sequence :: [IO a] -> IO [a] #-}