Missing `@tailrec`?