Some type annotations, not all