expected

reg023.idr:7:5:When elaborating right hand side of bad:
Can't unify
        [94mNat[0m (Type of [91m0[0m)
with
        [92mf[0m [94mNat[0m (Expected type)