Export (E (..)) from TypeUniverse