@@ -343,7 +343,11 @@ irTerm vs env tm@(App _ f a) = do
343343 case compare (length args) arity of
344344
345345 -- overapplied
346− GT -> ifail ("overapplied data constructor: " ++ show tm)
346+ GT -> ifail ("overapplied data constructor: " ++ show tm ++
347+ "\nDEBUG INFO:\n" ++
348+ "Arity: " ++ show arity ++ "\n" ++
349+ "Arguments: " ++ show args ++ "\n" ++
350+ "Pruned arguments: " ++ show argsPruned)
347351
348352 -- exactly saturated
349353 EQ | isNewtype