idris-0.9.11: test/reg023/expected

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

Specifically:
        Can't unify
                [94mNat[0m
        with
                [92mf[0m [94mNat[0m