reg044.idr:4:4:When elaborating right hand side of Main.pf:
Can't unify
        b = b
with
        a = b

Specifically:
        Can't unify
                b
        with
                a