1 2 3
[1 of 3] Compiling Check07_A ( Check07_A.hs, Check07_A.o ) [2 of 3] Compiling Check07_B ( Check07_B.hs, Check07_B.o ) [3 of 3] Compiling Check07 ( Check07.hs, Check07.o )