{-# htermination (=<<) :: (a -> IO b) -> IO a -> IO b #-}