idris-0.9.13: test/reg044/expected

reg044.idr:4:4:When elaborating right hand side of Main.pf:
Can't unify
        [95mb[0m [94m=[0m [95mb[0m
with
        [95ma[0m [94m=[0m [95mb[0m

Specifically:
        Can't unify
                [95mb[0m
        with
                [95ma[0m