Are IO expressions really referentially transparent programs?