Properly export and import record constructors
cosmetic: name argument