[1 of 2] Processing p [1 of 1] Compiling ShouldFail[sig] ( p/ShouldFail.hsig, nothing ) [2 of 2] Processing q Instantiating q [1 of 1] Including p[ShouldFail=base-4.13.0.0:Data.STRef] Instantiating p[ShouldFail=base-4.13.0.0:Data.STRef] [1 of 1] Compiling ShouldFail[sig] ( p/ShouldFail.hsig, bkpfail19.out/p/p-CfyUIAu1JTRCDuXEyGszXN/ShouldFail.o ) : error: • The hsig file (re)exports ‘Data.STRef.Lazy.newSTRef’ but the implementing module exports a different identifier ‘GHC.STRef.newSTRef’ • while checking that Data.STRef implements signature ShouldFail in p[ShouldFail=Data.STRef]