Isolate atomic expressions
Handle IO conversion on an earlier stage