Be explicit about return types to avoid confusing the typer.