reg023.idr:7:5:When elaborating right hand side of bad:
Can't unify
        Nat
with
        f Nat

Specifically:
        Can't unify
                Nat
        with
                f Nat