type (++) = (<>)