expected

reg044.idr:4:4:When elaborating right hand side of Main.pf:
Can't unify
        [95mb[0m [94m=[0m [95mb[0m (Type of [91mRefl[0m)
with
        [95ma[0m [94m=[0m [95mb[0m (Expected type)

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