Representation and type