This type is not needed yet