RE: Type reps inside GHC...