> type annotations

Stopped reading right there