expected

MAIN-PASS
Faulty.idr:7:7:
When checking right hand side of fault with expected type
        num = 0

Type mismatch between
        0 = 0 (Type of Refl)
and
        num = 0 (Expected type)

Specifically:
        Type mismatch between
                0
        and
                num
Multiple.idr:3:1:import alias not unique: "X"