Better type annotations.