How do I write, “if typeclass a, then a is also an instance of b by this definition.”

Question

I have a typeclass MyClass, and there is a function in it which produces a String. I want to use this to imply an instance of Show, s

Answer 1

You may find some interesting answers in a related SO question: Linking/Combining Type Classes in Haskell