reg023.idr:7:5:When checking right hand side of bad:
Type mismatch between
        Nat (Type of 0)
and
        f Nat (Expected type)