MAIN-PASS
Faulty.idr:6:7:When elaborating type of Faulty.fault:
Can't disambiguate name: A.num, B.C.num
Multiple.idr:3:1:import alias not unique: "X"