expected

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