expected

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