[1 of 3] Processing p
  [1 of 3] Compiling H[sig]           ( p/H.hsig, nothing )
  [2 of 3] Compiling Y[sig]           ( p/Y.hsig, nothing )
  [3 of 3] Compiling M                ( p/M.hs, nothing )
[2 of 3] Processing impl
  Instantiating impl
  [1 of 2] Compiling F                ( impl/F.hs, bkp14.out/impl/F.o )
  [2 of 2] Compiling H                ( impl/H.hs, bkp14.out/impl/H.o )
[3 of 3] Processing q
  [1 of 2] Compiling Y[sig]           ( q/Y.hsig, nothing )
  [2 of 2] Compiling X                ( q/X.hs, nothing )