Type as a problem needs to be rediscovered. Although from Jung’s point of view moderate one-sidedness does not usually cause major difficulties and is a stage of development to go through, ultimately being a type is a problem whereas contemporary type theory generally views it as a virtue. This has resulted in the transcendent function being overlooked.
