Type export