The following example now prints the error message below it:

main = do
 let f = \x -> Eq.eq x x
 Text.putStrLn "OK"

*** Exception: Zonk error: Ambiguous meta variable: t2
arising from examples/zonk-error.hell:2:10

So you can actually find where a meta variable came from. Usually an unused variable.