expected

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