Monadify typecheck/TcRnMonad: use return, standard monad functions and liftIO