Nice! Scala has @tailrec but I think it only checks that a function’s calls to itself are tail calls.