{-# htermination interact :: (String -> String) -> IO () #-}