[1 of 3] Processing q
  Instantiating q
  [1 of 1] Compiling H                ( q/H.hs, bkp08.out/q/H.o )
[2 of 3] Processing r
  [1 of 1] Compiling H[sig]           ( r/H.hsig, nothing )
[3 of 3] Processing p
  Instantiating p
  [1 of 2] Including q
  [2 of 2] Including r[H=q:H]
    Instantiating r[H=q:H]
    [1 of 1] Compiling H[sig]           ( r/H.hsig, bkp08.out/r/r-D5Mg3foBSCrDbQDKH4WGSG/H.o )
  [1 of 1] Compiling M                ( p/M.hs, bkp08.out/p/M.o )