Annotate return types
Explain the magic One