We don't have to explicitly specify type annotations.