Suggestion for documentation - examples of how to interpret and errors working with `pure`

[EdmundsEcho]

This is solid resource that is so far making a lot of sense for what I need to accomplish.

As I'm hacking my through the error messages, I was thinking that anyone with more experience might provide 2-3 examples of error messages and how to fix them with a specific focus on using pure to construct the core instances in the library e.g., Handler IO MyObject, Handler IO (Maybe MyObject).

PS: I'm finding the documentation of the issues to be a great way to figure out some of the early best practices.