Better type bounds on Rule