On 2013-09-26 at 13:15:00 +0200, Erik Hesselink wrote: > That's exactly the derived instance that would be generated: > > instance Show a => Show (Down a) where > ... ...in that case, +1 from me :-) (I assumed wrongly this was about adding "derived (Show,Read)" to 'Down')