Does Idris 2 have anything similar to Haskell\'s RecursiveDo. I have certain values that I would like to use before they are defined while in the IO
RecursiveDo
IO