How do I use TypeApplications with typeclass methods, and why does GHCi infer a type that I can't use?

Question

Summary

I have a typeclass for which I want to write some \'generic terms\'. I have two questions:

1. Using :t to ask GHCi for the type of a