[1 of 2] Processing h
  [1 of 1] Compiling H[sig]          (.hsig -> nothing)
[2 of 2] Processing p
  [1 of 3] Compiling B               (.hs -> nothing)
  [2 of 3] Compiling H[sig]          (.hsig -> nothing)
  [3 of 3] Compiling A               (.hs -> nothing)