NotAType occurs when the identifier used as the underlying type in a type declaration or the right-hand side of a type alias does not denote a type. Example: var S = 2 type T S