I have a question. In your reverse refactoring example it states
findError key =
"Unable to find " ++ ("'" ++ str ++ "'")
you state this is possible because its a pure function…Does it know to map key to str because there is only one parameter?
Thanks for awesome writeup!