expected

Quasiquote004.idr:50:25:
When checking right hand side of Quasiquote004.getMeNat':
Not a Nat goal