[1 of 3] Processing p
  [1 of 2] Compiling H[sig]           ( p/H.hsig, nothing )
  [2 of 2] Compiling A                ( p/A.hs, nothing )
[2 of 3] Processing q
  Instantiating q
  [1 of 1] Compiling H                ( q/H.hs, nothing )
[3 of 3] Processing r
  Instantiating r
  [1 of 1] Including p[H=q:H]
    Instantiating p[H=q:H]
    [1 of 2] Compiling H[sig]           ( p/H.hsig, nothing )

bkpfail01.out/p/p-D5Mg3foBSCrDbQDKH4WGSG/../H.hi:1:1: error:
    • ‘H’ is exported by the hsig file, but not exported by the implementing module ‘q:H’
    • while checking that q:H implements signature H in p[H=q:H]

bkpfail01.out/p/p-D5Mg3foBSCrDbQDKH4WGSG/../H.hi:1:1: error:
    • ‘H’ is exported by the hsig file, but not exported by the implementing module ‘q:H’
    • while checking that q:H implements signature H in p[H=q:H]