$IO Empty it is definitely right