[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 )