Structure and Type