meta004.idr:50:1-9:
While running an elaboration script, the following error occurred:
Not an impossible case