Normal Types versus Fantastic Types