types are correctly exported