module Faulty

import A
import B.C

fault : num = Z
fault = Refl