:: IO_a_ -> _ IO_ () is:exact