Adding some implicit annontations.