Models are not types