Annotate with explicit types