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