Data type for qualified types