มีข้อกำหนดสองประการที่นี่ อย่างแรกไม่ผ่านเพราะ eventually ใน check จะไม่ทำให้เกิดการวิ่งซ้ำทั้งเส้นทาง แต่นี่คือวิธีที่ฉันต้องการติดตาม ข้อมูลจำเพาะที่สองเป็นทางออกที่ดีที่สุดที่ฉันพบ (และพิสูจน์ว่ามันเป็นไปได้ ;) )...