Как я получаю стек вызовов в Haskell?

Я пытаюсь разыскать неисчерпывающий шаблон в коде библиотек. Конкретно mysql реализация HDBC. Это пытается соответствовать по типам в моей программе и отобразить их на типы mysql, которым я верю. Я, может казаться, не получаю стек вызовов для этой ошибки, что означает, что с тех пор существует много параметров к SQL-запросу, трудно разыскать точно, что вызывает его.

Действительно ли возможно получить стек вызовов в haskell, таким образом, я знал бы, какой параметр, вызывающий, был ошибкой? Также я думал бы, что это должно быть поймано компилятором, так как он должен смочь посмотреть на мои типы и шаблоны и удостовериться, что было соответствующее соответствие.