exporting types