Should this be `@tailrec` annotated?