maybe add an import to just annotate @tailrec ?