q/H.hsig:2:1: error: • Identifier ‘x’ has conflicting definitions in the module and its hsig file Main module: x :: Int Hsig file: x :: Bool The two types are different • while merging the signatures from: • bkpcabal01-0.1.0.0:p[H=]:H • ...and the local signature for H