Is it possible to run IO while in Elab in Idris?

Question

Is it possible to run IO while in Elab in Idris 2? Is there some function of type IO a -> Elab a? I tried unsafePerformIO but Idris complained w