开发者_StackOverflowIn building a class structure, I would like to have derived classes potentially posses derived member classes. For example:
Algebraic Data Types (ADTs) in Haskell can automatically become instances of some typeclasses (like Show, Eq) by deriving from them.
When working with derived instances in Haskell, is it possible to derive functions for arbitrary types, or are we restricted to particular functions?开发者_如何学GoYou can derive instances of the foll