Export the (++) type family