> 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.