Functional dependencies determine _instances_, not types!