Unfolding readers.operation.*