On the relationship of representation and subtyping; oddities.