Fully revealing outcomes in signalling models: An example of nonexistence when the type space is unbounded