1 2 3 4 5
[1 of 2] Processing p Instantiating p [1 of 1] Compiling M ( p/M.hs, bkp52.out/p/M.o ) [2 of 2] Processing q [1 of 1] Compiling A[sig] ( q/A.hsig, nothing )