Types versus classes