Redirecting to /blog/2025/07/10/【函数式】免费的递归类型？/