Spectral Types: A Different Way to Think About Identity, Representation, and Enumeration (The…

There is a category of types that is difficult to describe using the usual vocabulary of programming languages.