{-# htermination join :: IO (IO a) -> IO a #-} import Monad