@@ -34,5 +34,6 @@ getProvided fc tm | (P _ pioret _, [tp, result]) <- unApply tm
34 , pioret == ioret && nm == prmod
34 , pioret == ioret && nm == prmod
35 = return . Provide $ res
35 = return . Provide $ res
36 | otherwise = ifail $ "Internal type provider error: result was not " ++
36 | otherwise = ifail $ "Internal type provider error: result was not " ++
37− "IO (Provider a), or perhaps missing normalisation."
37+ "IO (Provider a), or perhaps missing normalisation." ++
38+ "Term: " ++ take 1000 (show tm)