CNormalType

A normal type: a head normal form of types where the head is not a parametric type instantiation.