[3 of 3] Compiling Check03          ( Check03.hs, Check03.o )