expected

reg044.idr:4:4:When elaborating right hand side of Main.pf:
Can't unify
        b = b (Type of Refl)
with
        a = b (Expected type)

Specifically:
        Can't unify
                b
        with
                a