meta004.idr:50:1-8:
   |
50 | %runElab domore
   | ~~~~~~~~
While running an elaboration script, the following error occurred:
Not an impossible case