Monadify typecheck/TcRnDriver: use return and standard monad functions