exports and types