expected

reg023.idr:7:5:When elaborating right hand side of bad:
Can't unify
        [94mNat[0m
with
        [92mf[0m [94mNat[0m