RE: deriving instances for "hidden" types