Export (++) type family.