У меня есть бесконечный цикл где-то в моей программе, что приводит к исключению <<loop>> при нормальной работе. Используя GHCi, я отследил проблему до thunk
f = Constructor1
(Constructor2 A :
(_t3::[DataType2]))
Попытка упорядочить thunk с помощью seq _t3 () приводит к зависанию GHCi, поэтому, если я правильно понимаю, бесконечный цикл возникает при восстановлении до нормальной формы слабой головы. Есть ли способ исследовать этот thunk, например, чтобы шаг за шагом увидеть шаги сокращения, пытающиеся использоваться для его оценки?