调试GHCi中无法解析的thunk

Question

我的程序中某处有一个无限循环,导致<<loop>>正常运行时出现异常.使用GHCi,我已经将问题追踪到了thunk

f = Constructor1
  (Constructor2 A :
   (_t3::[DataType2]))

试图对thunk进行排序seq _t3 ()导致GHCi挂起,所以如果我理解正确的话,无限循环正在减少到弱头正常形式.有没有办法调查这个thunk,例如,逐步看到试图用来评估它的减少步骤？