NoType is a confusing name for a nominal type