Class TypeAbstraction