Note [Newtype representation]

Need newTyConRhs (*not* a recursive representation finder)
to get the representation type. For example
     newtype B = MkB Int
     newtype A = MkA B deriving( Num )
We want the Num instance of B, *not* the Num instance of Int,
when making the Num instance of A!