Leaner api.export idiom