Comment by bobbylarrybobby

Heterogeneity is easily achieved in statically typed languages via sum types.