更新记录时无限循环

Question

在运行以下代码时，我收到file: <<loop>>错误。

我的简化代码：

data KAutomat = KA
    { states :: Set.Set String
    , start :: KState
    , final :: Set.Set String
    , trans :: [Transition]
    , setW :: Set.Set (Set.Set String)
    , setP :: Set.Set (Set.Set String)
    } deriving (Eq,Show)

updateKa val p@(KA _ _ _ _ _ s) = p { setP = val}

anotherFunction ls ts a = do
    let valu = replaceNth (...etc...)
    let ts = updateKa (Set.fromList $ (map Set.fromList $ valu)) ts

我没有想到什么是错的。有人可以帮忙吗？我正在尝试调试，它在updateKa val...行上循环。