Pretty Printing Issue with TypeErrors

[michaelto20]

Dr. Eades,

When you get a second will you look at the latest push to the branch? It won't compile because of a change I made to the TypeErrors module. However, I can't understand why this doesn't work. I'm trying to use the prettyTerm function which returns an LFreshM String, I'm trying to get the string back and use it in the error message but for some reason it won't work. Can you shed some light as to why?