Re: deriving (was Re: storing to a file)

Actually, there's one situation where it would work easily, and that is when used with newtype. Apart from "Show" and "Read", which are special cases anyway, the "deriving" operation on newtype has a simple meaning: inherit instances from the type being wrapped.

GHC does this on newtypes already.