fixed position of tailrec annotation