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