Addressing type definition problems glossed over earlier.