{-# htermination return :: a -> IO a #-}